mathlib

74373b81 - feat(algebra/lattice_ordered_group): add basic theory of lattice ordered groups (#8673)