Theorem Homeomorph.symm_toHomotopyEquiv

Modification history