Theorem SkewMonoidAlgebra.coeff_erase_apply

Modification history

2026-07-08 08:56

Mathlib/Algebra/SkewMonoidAlgebra/Single.lean

chore(Algebra/SkewMonoidAlgebra): rename the conversion functions to `coeff`/`ofCoeff` (#41365)

Deleted SkewMonoidAlgebra.coeff_erase_apply View on Github →

2025-09-16 12:06

Mathlib/Algebra/SkewMonoidAlgebra/Single.lean

feat(SkewMonoidAlgebra): Modifying elements of skew monoid algebra at exactly one point (erase and update) (#29319) …

Added SkewMonoidAlgebra.coeff_erase_apply View on Github →