sage.schemes: Deprecate is_... functions#38022
Merged
Merged
Commits
Commits on May 18, 2024
Commits on May 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
sage.schemes: Deprecate is_... functions#38022