Def SkewMonoidAlgebra.coeffLinearEquiv

Modification history

2026-07-08 08:56

Mathlib/Algebra/SkewMonoidAlgebra/Basic.lean

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

Added SkewMonoidAlgebra.coeffLinearEquiv View on Github →