dependsOn_frestrictLe — Mathlib · SciLib

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

dependsOn_frestrictLe

Mathlib.Order.Restriction

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

← MathLib Explorer