Theorem LocalEquiv.IsImage.apply_mem_iff

Modification history