Commit 2026-02-03 15:41 cc809d01

View on Github →

feat(Order): check Pairwise only on (a, b) for a < b (#34686) From ProofBench

Estimated changes

added theorem pairwise_iff_gt
added theorem pairwise_iff_lt