Theorem ContinuousMap.continuous_restrict

Modification history