Def SkewMonoidAlgebra.support

Modification history

2025-10-30 10:43

Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean

feat: SkewPolynomial (#29300) …

Modified SkewMonoidAlgebra.support View on Github →

2024-11-14 11:25

Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean

feat(SkewMonoidAlgebra): add SkewMonoidAlgebra with irreducible def (#15878) …

Added SkewMonoidAlgebra.support View on Github →