Theorem trans_rel_right

Modification history