Theorem ContinuousMap.injective_restrict

Modification history