Skip to content

Deprecate is_Map, is_...Morphism#38103

Merged
vbraun merged 5 commits intosagemath:developfrom
mkoeppe:is_Map_deprecation
Jun 9, 2024
Merged

Deprecate is_Map, is_...Morphism#38103
vbraun merged 5 commits intosagemath:developfrom
mkoeppe:is_Map_deprecation