Theorem ContinuousMap.idealOfSet_isMaximal_iff

Modification history