Theorem Int.units_div_eq_mul

Modification history

2023-10-23 14:19
Mathlib/Data/Int/Order/Units.lean
feat(Data/ZMod/IntUnitsPower): The power operator by `ZMod 2` on `ℤˣ` (#7661) …
Added Int.units_div_eq_mulView on Github →