DividesProper
=============

.. currentmodule:: proveit.numbers

.. autoclass:: DividesProper
   :show-inheritance:

   .. rubric:: Attributes Summary

   .. autosummary::

      ~DividesProper.known_left_sides
      ~DividesProper.known_right_sides

   .. rubric:: Attributes Documentation

   .. autoattribute:: known_left_sides
   .. autoattribute:: known_right_sides