Theorem SkewMonoidAlgebra.equivMapDomain_eq_mapDomain

Modification history

2025-10-21 15:08
Mathlib/Algebra/SkewMonoidAlgebra/Lift.lean
feat(SkewMonoidAlgebra): Lifts for skew monoid algebras (#29314) …
Added SkewMonoidAlgebra.equivMapDomain_eq_mapDomainView on Github →