Theorem ContinuousMap.setOfIdeal_ofSet_of_isOpen

Modification history