Theorem Module.Dual.lie_apply

Modification history

2023-10-19 21:13
Mathlib/Algebra/Lie/Basic.lean
feat: miscellaneous Lie algebra lemmas (#7782)
Added Module.Dual.lie_applyView on Github →