Theorem lt_trans'

Modification history