Theorem WithZero.lift'_zero

Modification history

2024-04-25 01:30

Mathlib/Algebra/GroupWithZero/WithZero.lean

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

Added WithZero.lift'_zero View on Github →