IntersectAll
============

.. currentmodule:: proveit.logic

.. autoclass:: IntersectAll
   :show-inheritance: