ulkb.Theory.prelude#

property Theory.prelude#

Prelude module or None (not loaded).