ulkb.Theory.push
================

.. currentmodule:: ulkb

.. automethod:: Theory.push