Theorem PartialEquiv.image_trans_source

Modification history