∫ Утверждение Mathlib
instPreorder
Mathlib.Topology.Order.UpperLowerSetTopology
URI: https://scilib.ai/kg/mathlib#Topology.WithUpperSet.instPreorder
∫ Утверждение Mathlib
Mathlib.Topology.Order.UpperLowerSetTopology
URI: https://scilib.ai/kg/mathlib#Topology.WithUpperSet.instPreorder