Theorem LieDerivation.iterate_apply_lie

Modification history

2024-09-10 12:32
Mathlib/Algebra/Lie/Derivation/Basic.lean
feat(Lie/Derivation): general Leibniz rule for Lie derivatives (#16641) …
Added LieDerivation.iterate_apply_lieView on Github →