Theorem submodule.map_supr_comap_of_sujective
Modification history
2022-01-18 17:08
src/linear_algebra/basic.lean
feat(linear_algebra,algebra,group_theory): miscellaneous lemmas linking some additive monoid and module operations (#11525) …
Modified submodule.map_supr_comap_of_sujectiveView on Github →