Theorem ContinuousMap.idealOfSet_closed

Modification history