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

mem_range_of_le

Mathlib.Order.InitialSeg

URI: https://scilib.ai/kg/mathlib#PrincipalSeg.mem_range_of_le

← MathLib Explorer