proveit.numbers.
greater_eq
Return an expression representing a >= b, internally represented as b <= a but with a style that reverses the direction.