Def ContinuousMap.opensOfIdeal

Modification history