kdrag.parsers.microlean.theorem
===============================

.. currentmodule:: kdrag.parsers.microlean

.. autofunction:: theorem