sage
67ed95d9
- Deprecate is_Map, is_...Morphism
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
Deprecate is_Map, is_...Morphism
References
#38145 - docstrings: INPUT formatting
Author
mkoeppe
Committer
mkoeppe
Parents
1dd7e8c6
Loading
