Theorem Units.ext_iff

Modification history

2024-07-31 09:27

Mathlib/Algebra/Group/Units.lean

chore: improve some ext_iff lemmas (#15340) …

Deleted Units.ext_iff View on Github →

2022-11-23 04:05

Mathlib/Algebra/Group/Units.lean

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

Added Units.ext_iff View on Github →