Theorem Ordering.compares_gt

Modification history