Theorem MonoidAlgebra.range_map

Modification history

2026-05-12 10:45

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

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

Added MonoidAlgebra.range_map View on Github →