Theorem spectrum.le_nnnorm_of_mem

Modification history

2024-10-27 21:51
Mathlib/Analysis/Normed/Algebra/Spectrum.lean
feat: isometric continuous functional calculi (#17837)
Added spectrum.le_nnnorm_of_memView on Github →