Theorem submodule.inf_coe
Modification history
2021-10-20 11:46
src/algebra/module/submodule_lattice.lean
fix(algebra/module/submodule_lattice): correct bad lemma (#9809) …
Modified submodule.inf_coeView on Github →2021-03-19 14:35
src/algebra/module/submodule_lattice.lean
refactor(linear_algebra/basic): move the lattice structure to its own file (#6767) …
Modified submodule.inf_coeView on Github →