Theorem Wbtw.trans_sbtw_right

Modification history