Theorem Derivation.Compatible.mk_left

Modification history

2026-03-22 21:51
Mathlib/RingTheory/Derivation/Lie.lean
feat: compatible (pairs of) derivations form a Lie algebra (#36651) …
Added Derivation.Compatible.mk_leftView on Github →