dist_subtract
=============

.. currentmodule:: proveit.numbers

.. autofunction:: dist_subtract