ordConnectedComponent_empty — Mathlib · SciLib

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

ordConnectedComponent_empty

Mathlib.Order.Interval.Set.OrdConnectedComponent

URI: https://scilib.ai/kg/mathlib#Set.ordConnectedComponent_empty

← MathLib Explorer