Theorem LocalEquiv.source_subset_preimage_target

Modification history