ulkb.new\_theorem
=================

.. currentmodule:: ulkb

.. autofunction:: new_theorem