isTop_iff_isMax — Mathlib · SciLib

∫ Утверждение Mathlib

isTop_iff_isMax

Mathlib.Order.Directed

URI: https://scilib.ai/kg/mathlib#isTop_iff_isMax

← MathLib Explorer