ulkb.Theory.pop# classmethod Theory.pop()[source]# Pops theory from theory stack. Makes the theory immediately below the popped one the new top theory. Returns: The popped theory.