Theorem ContinuousMap.mem_setOfIdeal

Modification history