Theorem Wbtw.trans_right

Modification history