Theorem PartialHomeomorph.restr_toPartialEquiv

Modification history