Theorem CFC.eq_one_of_spectrum_subset_one

Modification history