Theorem uzpow_coe_nat

Modification history

2024-02-27 17:09
Mathlib/Data/ZMod/IntUnitsPower.lean
fix: correct statement of `zpow_ofNat` and `ofNat_zsmul` (#10969) …
Added uzpow_coe_natView on Github →