Def WithZero.coeMonoidHom

Modification history

2024-04-25 01:30

Mathlib/Algebra/GroupWithZero/WithZero.lean

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

Added WithZero.coeMonoidHom View on Github →