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