Theorem CFC.spectrum_zero_eq

Modification history