Theorem ContinuousMap.coe_homeoFnOfDiscrete

Modification history