Theorem ContinuousMap.idealOfSet_ofIdeal_isClosed

Modification history