Theorem LocalEquiv.isImage_source_target_of_disjoint

Modification history