Theorem PartialEquiv.IsImage.iff_symm_preimage_eq

Modification history