Theorem ContinuousMap.setOfIdeal_eq_compl_singleton

Modification history