Theorem PartialHomeomorph.IsImage.symm_iff

Modification history