Deprecate `is_StringMonoidElement`, ...#38280

Merged

vbraun merged 1 commit intosagemath:developfrom

mkoeppe:is_AlphabeticStringMonoidElement_deprecation

Jul 24, 2024

Commits on Jun 26, 2024

src/sage/monoids/string_monoid_element.py: Deprecate is_StringMonoidElement etc.
mkoeppe
committed