Commit 27c42f4

committed

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

1 parent 92cc40f commit 27c42f4Copy full SHA for 27c42f4

5 files changed

Mathlib/Algebra
- SkewMonoidAlgebra
- SkewPolynomial
  - Basic.lean

Comments

(0)