Theorem MonoidAlgebra.mapDomain_add

Modification history

2025-12-15 15:27

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

feat(Algebra/MonoidAlgebra): complete the map API (#32254) …

Added MonoidAlgebra.mapDomain_add View on Github →