Theorem gt_trans

Modification history