Theorem LocalHomeomorph.restr_toLocalEquiv

Modification history