Theorem WithZero.monoidWithZeroHom_ext

Modification history

2024-04-25 01:30

Mathlib/Algebra/GroupWithZero/WithZero.lean

feat(Algebra/GroupWithZero/WithZero): `WithZero.map'` (#12159)

Added WithZero.monoidWithZeroHom_ext View on Github →