Commit 2024-05-03 22:49 6da5af08

View on Github →

chore: rename cfc_map_quasispectrum (#12640)

Estimated changes

Modified Mathlib/Topology/ContinuousFunction/NonUnitalFunctionalCalculus.lean

deleted theorem cfc_map_quasispectrum

added theorem cfcₙ_map_quasispectrum