Theorem ContinuousMap.idealOf_compl_singleton_isMaximal

Modification history