Theorem LocalHomeomorph.restr_toLocalEquiv'

Modification history