Commit 2025-06-07 15:55 6c6e0180

View on Github →

chore(Order): use new ge/gt naming convention - Part 2 (#25560) This PR renames LT.lt.not_le -> LT.lt.not_ge LE.le.not_lt -> LE.le.not_gt LT.lt.not_lt -> LT.lt.not_gt

Estimated changes

modified theorem Real.sign_of_pos
modified theorem Set.notMem_Icc_of_gt
modified theorem Set.notMem_Icc_of_lt
modified theorem Set.notMem_Ico_of_lt
modified theorem Set.notMem_Ioc_of_gt
modified theorem IsMax.not_lt
modified theorem IsMin.not_lt