instOrderTop — Mathlib · SciLib

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

instOrderTop

Mathlib.Order.Sublocale

URI: https://scilib.ai/kg/mathlib#Sublocale.carrier.instOrderTop

← MathLib Explorer