Theorem Module.End.lie_apply

Modification history

2024-02-19 19:19
Mathlib/Algebra/Lie/OfAssociative.lean
feat: basic theory of chains of roots / weights of Lie algebras / modules (#10548)
Added Module.End.lie_applyView on Github →