Theorem SkewMonoidAlgebra.coeff_equivMapDomain

Modification history

2026-07-08 08:56
Mathlib/Algebra/SkewMonoidAlgebra/Lift.lean
chore(Algebra/SkewMonoidAlgebra): rename the conversion functions to `coeff`/`ofCoeff` (#41365)
Deleted SkewMonoidAlgebra.coeff_equivMapDomainView on Github →
2025-10-21 15:08
Mathlib/Algebra/SkewMonoidAlgebra/Lift.lean
feat(SkewMonoidAlgebra): Lifts for skew monoid algebras (#29314) …
Added SkewMonoidAlgebra.coeff_equivMapDomainView on Github →