Theorem IsBot.isMin_iff

Modification history

2024-11-20 22:00
Mathlib/Order/Max.lean
feat(Order/Max): add `IsTop.isMax_iff` and `IsBot.isMin_iff` (#19305) …
Added IsBot.isMin_iffView on Github →