superset_eq
===========

.. currentmodule:: proveit.logic

.. autofunction:: superset_eq