Theorem ContinuousMap.isOpen_setOf_mapsTo

Modification history