Theorem MonoidAlgebra.map_surjective

Modification history

2026-05-12 10:45

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

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

Added MonoidAlgebra.map_surjective View on Github →