Theorem CFC.eq_zero_of_spectrum_subset_zero

Modification history