Mathlib Changelog
v4
Changelog
About
Github
Theorem
SkewMonoidAlgebra.toFinsupp_neg
Modification history
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Added
SkewMonoidAlgebra.toFinsupp_neg
View on Github →