Theorem ContinuousOn.preimage_isClopen_of_isClopen

Modification history