Theorem ne.lt_or_lt

Modification history