Def SkewMonoidAlgebra.comapSMul

Modification history

2026-02-09 08:58
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified SkewMonoidAlgebra.comapSMulView on Github →
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Added SkewMonoidAlgebra.comapSMulView on Github →