Theorem ContinuousMap.mem_idealOfSet_compl_singleton

Modification history