Theorem PartialEquiv.target_subset_preimage_source

Modification history