Theorem LieHom.fst_comp_inr

Modification history

2026-03-22 21:51
Mathlib/Algebra/Lie/Prod.lean
feat: compatible (pairs of) derivations form a Lie algebra (#36651) …
Added LieHom.fst_comp_inrView on Github →