Theorem spectrum.coe_le_norm_of_mem

Modification history

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