Theorem PartialEquiv.image_eq_target_inter_inv_preimage

Modification history