Theorem PartialEquiv.IsImage.image_eq

Modification history