Commit 2024-10-24 11:47 29a94137

View on Github →

feat: swap and compl of order relations (#18045)

Estimated changes

added theorem Function.swap_ge
added theorem Function.swap_gt
added theorem Function.swap_le
added theorem Function.swap_lt
added theorem compl_ge
added theorem compl_gt
added theorem compl_le
added theorem compl_lt