frestrictLe_apply — Mathlib · SciLib

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

frestrictLe_apply

Mathlib.Order.Restriction

URI: https://scilib.ai/kg/mathlib#Preorder.frestrictLe_apply

← MathLib Explorer