Theorem PartialHomeomorph.restrOpen_toLocalEquiv

Modification history