Theorem spectralNorm.spectralNorm_pow_natDegree_eq_prod_roots

Modification history

2025-10-14 10:22
Mathlib/Analysis/Normed/Unbundled/SpectralNorm.lean
feat(Analysis/Normed/Unbundled/SpectralNorm): add API (#26668)
Added spectralNorm.spectralNorm_pow_natDegree_eq_prod_rootsView on Github →