not_proper_superset
===================

.. currentmodule:: proveit.logic

.. autofunction:: not_proper_superset