not_superset_eq
===============

.. currentmodule:: proveit.logic

.. autofunction:: not_superset_eq