Deprecate is_Category, is_Endset, is_Homset, is_Parent, is_RingHomset, is_SimplicialComplexHomset#37922
Merged
vbraun merged 6 commits intosagemath:developfrom mkoeppe:is_Category_deprecationMay 25, 2024
+48-14
Commits
Commits on May 12, 2024
- committed
- committed
- committed
- committed
- committed
- committed
