Theorem MonoidAlgebra.mapDomain_zero

Modification history

2025-12-15 15:27

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

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

Added MonoidAlgebra.mapDomain_zero View on Github →