grind instances for Int as an ordered module.

instance Lean.Grind.instLinearOrderInt : LinearOrder Int

Equations

• One or more equations did not get rendered due to their size.

instance Lean.Grind.instOrderedAddInt : OrderedAdd Int

instance Lean.Grind.instOrderedRingInt : OrderedRing Int