Def Submodule.botEquivPUnit
Modification history
2025-07-11 09:29
Mathlib/Algebra/Module/Submodule/Lattice.lean
chore: a batch of whitespace fixes (#26964) …
Modified Submodule.botEquivPUnitView on Github →2023-05-16 10:59
Mathlib/Algebra/Module/Submodule/Lattice.lean
chore: reenable eta, bump to nightly 2023-05-16 (#3414) …
Modified Submodule.botEquivPUnitView on Github →