Theorem Units.ext

Modification history

2023-05-21 13:23

Mathlib/Algebra/Group/Units.lean

feat: port Algebra.CharP.MixedCharZero (#3222)

Modified Units.ext View on Github →

2022-11-23 04:05

Mathlib/Algebra/Group/Units.lean

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

Added Units.ext View on Github →