Theorem PartialHomeomorph.IsImage.toPartialEquiv

Modification history