Theorem Wbtw.trans_right_left

Modification history