Mathlib v3 is deprecated. Go to Mathlib v4

Def module.End

Modification history

2020-10-26 18:39

src/algebra/module/basic.lean

chore(algebra/module,linear_algebra): split off a `linear_map` file (#4476) …

Modified module.End View on Github →

2019-11-12 15:22

src/algebra/module.lean

feat(algebra/lie_algebra): Define lie algebras (#1644) …

Added module.End View on Github →