Theorem ContinuousMap.setOfIdeal_ofSet_eq_interior

Modification history