∫ Утверждение Mathlib
rel_get_of_le
Mathlib.Data.List.Sort
URI: https://scilib.ai/kg/mathlib#List.Sorted.rel_get_of_le
∫ Утверждение Mathlib
Mathlib.Data.List.Sort
URI: https://scilib.ai/kg/mathlib#List.Sorted.rel_get_of_le