ulkb.show\_theorems =================== .. currentmodule:: ulkb .. autofunction:: show_theorems