Theorem ContinuousMap.coe_restrict

Modification history