Theorem lt_asymm

Modification history