Theorem Units.eq_iff

Modification history

2025-07-12 14:51

Mathlib/Algebra/Group/Units/Defs.lean

chore(Units): better follow the naming convention (#26251) …

Deleted Units.eq_iff View on Github →

2022-11-23 04:05

Mathlib/Algebra/Group/Units.lean

feat: port Algebra.Group.Units (#549) …

Added Units.eq_iff View on Github →