Theorem PartialEquiv.trans_target''

Modification history