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

.. currentmodule:: ulkb

.. autofunction:: lookup_theorem