sage
63d8732c
- Merge branch 'public/linear_algebra/vector_space_morphism_action-28272' into Hom_FiniteDimensionalModulesWithBasis
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
Merge branch 'public/linear_algebra/vector_space_morphism_action-28272' into Hom_FiniteDimensionalModulesWithBasis
References
Hom_FiniteDimensionalModulesWithBasis
#37516 - Make homsets of FiniteDimensionalModulesWithBasis finite-dimensional
Author
mkoeppe
Parents
6d63fdc4
b2e65130
Loading