Theorem Submodule.eta

Modification history

2024-11-03 08:14

Mathlib/Algebra/Module/Submodule/Basic.lean

chore(Algebra/Module/Submodule): split `Submodule/Basic.lean` (#18489) …

Modified Submodule.eta View on Github →

2023-06-02 13:42

Mathlib/Algebra/Module/Submodule/Basic.lean

feat: port Algebra.Lie.Submodule (#3045)

Added Submodule.eta View on Github →