instCanonicallyOrderedAdd — Mathlib · SciLib

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

instCanonicallyOrderedAdd

Mathlib.Data.NNRat.Order

URI: https://scilib.ai/kg/mathlib#NNRat.instCanonicallyOrderedAdd

← MathLib Explorer