sage
cdb1ccb5 - FiniteDimensionalModulesWithBasis.MorphismMethods.is_injective: Allow 'any' side

Commit

1 year ago

FiniteDimensionalModulesWithBasis.MorphismMethods.is_injective: Allow 'any' side

References

#37879 - `ModulesWithBasis.MorphismMethods`: Add method for matrix of finite-dimensional restriction/projection, move more `MatrixMorphism` methods to category

Author

mkoeppe

mkoeppe

Committer

mkoeppe

mkoeppe

Parents

Loading