ulkb.Theory.get\_prelude\_offset
================================

.. currentmodule:: ulkb

.. automethod:: Theory.get_prelude_offset