Theorem IsTop.isMax_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 IsTop.isMax_iffView on Github →