Theorem PartialHomeomorph.restr_toLocalEquiv

Modification history