sage
c9a631e2
- Sets.MorphismMethods: Move is_surjective here from Map
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
Sets.MorphismMethods: Move is_surjective here from Map
References
#37879 - `ModulesWithBasis.MorphismMethods`: Add method for matrix of finite-dimensional restriction/projection, move more `MatrixMorphism` methods to category
Author
mkoeppe
Committer
mkoeppe
Parents
cd3eed3f
Loading
