Def SkewMonoidAlgebra.support

Modification history

2026-07-08 08:56
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(Algebra/SkewMonoidAlgebra): rename the conversion functions to `coeff`/`ofCoeff` (#41365)
Modified SkewMonoidAlgebra.supportView on Github →
2025-10-30 10:43
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat: SkewPolynomial (#29300) …
Modified SkewMonoidAlgebra.supportView on Github →
2024-11-14 11:25
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(SkewMonoidAlgebra): add SkewMonoidAlgebra with irreducible def (#15878) …
Added SkewMonoidAlgebra.supportView on Github →