Theorem Sbtw.trans_left

Modification history