Theorem uzpow_one

Modification history

2023-11-04 14:26
Mathlib/Data/ZMod/IntUnitsPower.lean
refactor(Data/ZMod/IntUnitsPower): generalize ZMod 2 to work for `Nat` and `Int` too (#7866) …
Modified uzpow_oneView on Github →
2023-11-01 16:07
Mathlib/Data/ZMod/IntUnitsPower.lean
chore(Data/ZMod/IntUnitsPower): rename lemmas (#8087) …
Added uzpow_oneView on Github →