Theorem WithZero.unzero_mul

Modification history

2024-04-25 01:30

Mathlib/Algebra/GroupWithZero/WithZero.lean

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

Added WithZero.unzero_mul View on Github →