Theorem lie_swap_lie

Modification history

2025-01-03 11:02
Mathlib/Algebra/Lie/Basic.lean
feat(Algebra/Lie): add `LieTower` typeclass abstracting the Leibniz rule (#20403) …
Added lie_swap_lieView on Github →