Theorem toMul_uzpow

Modification history

2025-07-25 21:58
Mathlib/Data/ZMod/IntUnitsPower.lean
chore: fix more indentation (#27491) …
Modified toMul_uzpowView on Github →
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) …
Added toMul_uzpowView on Github →