Theorem Submodule.eta

Modification history

2026-01-14 22:55
Mathlib/Algebra/Module/Submodule/Defs.lean
style: be consistent about inserting spaces after { or before } (#33978) …
Modified Submodule.etaView on Github →
2024-11-03 08:14
Mathlib/Algebra/Module/Submodule/Basic.lean
chore(Algebra/Module/Submodule): split `Submodule/Basic.lean` (#18489) …
Modified Submodule.etaView on Github →
2023-06-02 13:42
Mathlib/Algebra/Module/Submodule/Basic.lean
feat: port Algebra.Lie.Submodule (#3045)
Added Submodule.etaView on Github →