greater_eq
==========

.. currentmodule:: proveit.numbers

.. autofunction:: greater_eq