Theorem scottContinuous_of_continuous

Modification history