ordConnected_inter_Icc_of_subset — Mathlib · SciLib

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

ordConnected_inter_Icc_of_subset

Mathlib.Order.Interval.Set.OrdConnected

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

← MathLib Explorer