Theorem LocalEquiv.IsImage.iff_preimage_eq

Modification history