Theorem LocalHomeomorph.restrOpen_toLocalEquiv

Modification history