Theorem CFC.eq_algebraMap_of_spectrum_subset_singleton

Modification history