proper_superset
===============

.. currentmodule:: proveit.logic

.. autofunction:: proper_superset