Theorem SkewMonoidAlgebra.toFinsupp_neg

Modification history

2026-07-08 08:56
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
chore(Algebra/SkewMonoidAlgebra): rename the conversion functions to `coeff`/`ofCoeff` (#41365)
Deleted SkewMonoidAlgebra.toFinsupp_negView on Github →
2025-07-15 14:02
Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean
feat(Algebra/SkewMonoidAlgebra/Basic): multiplication and algebraic instances (#26933) …
Added SkewMonoidAlgebra.toFinsupp_negView on Github →