The integers form a linear ordered group

This file contains the linear ordered group instance on the integers.

See note [foundational algebra order theory].

instance Int.instLinearOrderedAddCommGroup : LinearOrderedAddCommGroup ℤ

Equations

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