Theorem ContinuousMap.ideal_isMaximal_iff

Modification history