Theorem PartialHomeomorph.restrOpen_toPartialEquiv

Modification history