ulkb.lookup_theorem# lookup_theorem(*args, theory=None, **kwargs)[source]# Searches for theorem. See Theory.lookup_theorem().