Theorem Wbtw.trans_sbtw_left

Modification history