ulkb.Theory.get_prelude# Theory.get_prelude()[source]# Gets prelude module. Returns: Prelude module or None (not loaded).