Theorem Wbtw.trans_left

Modification history