ulkb.Object.unfold\_theory ========================== .. currentmodule:: ulkb .. automethod:: Object.unfold_theory