unbundle
========

.. currentmodule:: proveit

.. autofunction:: unbundle