Theorem LocalEquiv.IsImage.symm_iff

Modification history