∫ Утверждение Mathlib
ordConnected_iff_upperClosure_inter_lowerClosure
Mathlib.Order.UpperLower.Closure
URI: https://scilib.ai/kg/mathlib#ordConnected_iff_upperClosure_inter_lowerClosure
∫ Утверждение Mathlib
Mathlib.Order.UpperLower.Closure
URI: https://scilib.ai/kg/mathlib#ordConnected_iff_upperClosure_inter_lowerClosure