Theorem WithZero.map'_map'

Modification history

2025-07-04 07:44
Mathlib/Algebra/GroupWithZero/WithZero.lean
chore: further whitespace fixes (#26708) …
Modified WithZero.map'_map'View on Github →
2024-04-25 01:30
Mathlib/Algebra/GroupWithZero/WithZero.lean
feat(Algebra/GroupWithZero/WithZero): `WithZero.map'` (#12159)
Added WithZero.map'_map'View on Github →