Theorem UnivLE.trans

Modification history