Theorem submodule.quotient.mk_eq_mk
Modification history
2021-09-24 19:49
src/linear_algebra/basic.lean
chore(linear_algebra/basic): split out quotients and isomorphism theorems (#9332) …
Modified submodule.quotient.mk_eq_mkView on Github →2021-08-26 03:51
src/linear_algebra/basic.lean
chore(*): Fix syntactic tautologies (#8811) …
Modified submodule.quotient.mk_eq_mkView on Github →