Theorem PartialEquiv.trans_target

Modification history