Skip to content

Deprecate is_MutablePoset#38125

Merged
vbraun merged 1 commit intosagemath:developfrom
mkoeppe:is_MutablePoset_deprecation
Jun 9, 2024
Merged

Deprecate `is_MutablePoset`#38125
vbraun merged 1 commit intosagemath:developfrom
mkoeppe:is_MutablePoset_deprecation

Commits

Commits on Jun 1, 2024