Theorem LieAlgebra.ExtendScalars.bracket_tmul

Modification history

2023-11-21 14:17
Mathlib/Algebra/Lie/BaseChange.lean
feat: base change for Lie modules (#8546)
Modified LieAlgebra.ExtendScalars.bracket_tmulView on Github →
2023-08-17 11:16
Mathlib/Algebra/Lie/BaseChange.lean
refactor(Algebra/Lie/BaseChange): use new tensor product machinery (#6628)
Modified LieAlgebra.ExtendScalars.bracket_tmulView on Github →
2023-06-05 05:47
Mathlib/Algebra/Lie/BaseChange.lean
feat: port Algebra.Lie.BaseChange (#4650)
Added LieAlgebra.ExtendScalars.bracket_tmulView on Github →