Theorem PartialHomeomorph.IsImage.of_symm_image_eq

Modification history