Theorem CFC.spectrum_one_eq

Modification history