Theorem WithZero.map'_zero

Modification history

2024-04-25 01:30

Mathlib/Algebra/GroupWithZero/WithZero.lean

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

Added WithZero.map'_zero View on Github →