Theorem CFC.spectrum_algebraMap_subset

Modification history