Mathlib Changelog
v4
Changelog
About
Github
Theorem
WithZero.lift'_coe
Modification history
2024-04-25 01:30
Mathlib/Algebra/GroupWithZero/WithZero.lean
feat(Algebra/GroupWithZero/WithZero): `WithZero.map'` (#12159)
Added
WithZero.lift'_coe
View on Github →