Mathlib Changelog
v4
Changelog
About
Github
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