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