Theorem uzpow_def

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) …
Deleted uzpow_defView on Github →
2023-11-01 16:07
Mathlib/Data/ZMod/IntUnitsPower.lean
chore(Data/ZMod/IntUnitsPower): rename lemmas (#8087) …
Added uzpow_defView on Github →