ulkb.show_theorems# show_theorems(*args, theory=None, **kwargs)[source]# Prints theorems matching criteria. See Theory.show_extensions().