Theorem cfcₙ_map_quasispectrum

Modification history

2024-05-03 22:49
Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean
chore: rename `cfc_map_quasispectrum` (#12640)
Added cfcₙ_map_quasispectrumView on Github →