Def SkewMonoidAlgebra.comapDistribMulActionSelf

Modification history

2025-07-15 14:02

Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean

feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …

Added SkewMonoidAlgebra.comapDistribMulActionSelf View on Github →