Theorem Ordering.compares_lt

Modification history