ulkb.new_theorem# new_theorem(arg1, arg2=None, theory=None, **kwargs)[source]# Adds new theorem. See Theory.new_theorem().