Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
submodule.eq_bot_of_subsingleton
Modification history
2021-10-29 01:24
src/algebra/module/submodule_lattice.lean
chore(algebra/module/submodule_lattice): lemmas about the trivial submodule (#10022) …
Added
submodule.eq_bot_of_subsingleton
View on Github →