Theorem not_lt

Modification history