Theorem Sbtw.trans_right

Modification history