Theorem Units.exists0

Modification history

2023-06-12 01:02
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
chore: formatting issues (#4947)
Modified Units.exists0View on Github →
2022-11-27 22:58
Mathlib/Algebra/GroupWithZero/Units/Basic.lean
feat(Algebra/GroupWithZero/Units/Basic): port file (#735) …
Added Units.exists0View on Github →