Theorem LocalHomeomorph.symm_to_LocalEquiv

Modification history