Theorem PartialEquiv.IsImage.symm_image_eq

Modification history