Theorem Sbtw.trans_left_right

Modification history