Mathlib Changelog
v4
Changelog
About
Github
Theorem
SkewMonoidAlgebra.toFinsupp_eq_zero
Modification history
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Modified
SkewMonoidAlgebra.toFinsupp_eq_zero
View on Github →
2024-11-14 11:25
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(SkewMonoidAlgebra): add SkewMonoidAlgebra with irreducible def (#15878) …
Added
SkewMonoidAlgebra.toFinsupp_eq_zero
View on Github →