Theorem Homeomorph.subtype_toEquiv

Modification history