Theorem spectralValueTerms_of_lt_natDegree

Modification history

2025-05-27 21:58

Mathlib/Analysis/Normed/Unbundled/SpectralNorm.lean

feat(Analysis/Normed/Unbundled/SpectralNorm): add spectral norm (#23301) …

Added spectralValueTerms_of_lt_natDegree View on Github →