Commit 2025-06-07 18:15 006201f1

View on Github →

chore(Order): use new ge/gt naming convention - Part 3 (#25566) This PR renames 4 more lemmas in Order.Basic.

Estimated changes

added theorem LT.lt.gt_or_lt
deleted theorem LT.lt.lt_or_lt
added theorem Ne.lt_or_gt
deleted theorem Ne.lt_or_lt
added theorem Ne.not_le_or_not_ge
deleted theorem Ne.not_le_or_not_le
added theorem forall_gt_iff_le
deleted theorem forall_lt_iff_le'
added theorem le_of_forall_gt
deleted theorem le_of_forall_lt'