Theorem TensorProduct.LieModule.coe_liftLie_eq_lift_coe

Modification history

2023-06-04 08:28
Mathlib/Algebra/Lie/TensorProduct.lean
feat: port Algebra.Lie.TensorProduct (#4638)
Added TensorProduct.LieModule.coe_liftLie_eq_lift_coeView on Github →