ulkb.Theory.lookup\_theorem
===========================

.. currentmodule:: ulkb

.. automethod:: Theory.lookup_theorem