Theorem CFC.spectrum_algebraMap_eq

Modification history