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

.. currentmodule:: ulkb

.. automethod:: Theory.new_theorem