Theorem Algebra.norm_zpow

Modification history

2026-06-17 11:02
Mathlib/RingTheory/Norm/Basic.lean
feat: add `Algebra.norm_zpow` (#40238) …
Added Algebra.norm_zpowView on Github →