Theorem ContinuousMap.idealOfSet_ofIdeal_eq_closure

Modification history