negated
=======

.. currentmodule:: proveit.numbers

.. autofunction:: negated