Commit 2024-11-20 22:00 c44399da

View on Github →

feat(Order/Max): add IsTop.isMax_iff and IsBot.isMin_iff (#19305) Upstreamed from the Carleson project.

Estimated changes

added theorem IsBot.isMin_iff
added theorem IsTop.isMax_iff