Theorem PartialEquiv.source_subset_preimage_target

Modification history