Theorem PartialEquiv.IsImage.symm_iff

Modification history