Theorem uzpow_ofNat

Modification history

2024-02-27 17:09
Mathlib/Data/ZMod/IntUnitsPower.lean
fix: correct statement of `zpow_ofNat` and `ofNat_zsmul` (#10969) …
Deleted uzpow_ofNatView on Github →
2023-11-01 16:07
Mathlib/Data/ZMod/IntUnitsPower.lean
chore(Data/ZMod/IntUnitsPower): rename lemmas (#8087) …
Added uzpow_ofNatView on Github →