Theorem ContinuousMap.spectrum_eq_preimage_range

Modification history