Theorem Sbtw.trans_right_left

Modification history