Theorem LieHom.coe_prod

Modification history

2026-05-10 01:42
Mathlib/Algebra/Lie/Prod.lean
fix: rename `Pi.prod` to `Function.prod` (#38963) …
Modified LieHom.coe_prodView on Github →
2026-03-22 21:51
Mathlib/Algebra/Lie/Prod.lean
feat: compatible (pairs of) derivations form a Lie algebra (#36651) …
Added LieHom.coe_prodView on Github →