Theorem MonoidAlgebra.ofCoeff_mapDomain

Modification history

2026-07-04 08:56

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Deleted MonoidAlgebra.ofCoeff_mapDomain View on Github →

2026-05-12 10:45

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

chore(Mathlib/Algebra/MonoidAlgebra/MapDomain.lean): automated extraction (#39237) …

Added MonoidAlgebra.ofCoeff_mapDomain View on Github →