ulkb.Theory.lookup_theorem# Theory.lookup_theorem(arg, default=<class 'ulkb.util.Nil'>)[source]# Searches for theorem. If default is given, returns it instead of raising an exception. Parameters: arg – Id or Constant. default – Value. Returns: Sequent. Raises: LookupError – arg not in theory. See also lookup_theorem().