Theorem MonoidAlgebra.map_injective

Modification history

2026-05-12 10:45

Mathlib/Algebra/MonoidAlgebra/MapDomain.lean

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

Added MonoidAlgebra.map_injective View on Github →