The integers form a linear ordered group #

This file contains the instance necessary to show that the integers are a linear ordered additive group.

See note [foundational algebra order theory].