Theorem ContinuousMap.spectrum_eq_range

Modification history