Searching for Theorems
Jump to navigation
Jump to search
You can use the `find_theorems` command to search for theorems. The results are shown in the output panel. Use any number of patterns enclosed in "s:
find_theorems "?x < ?y ==> ?a < ?b"
You can also specify part of the name of a theorem:
find_theorems "?x < ?y ==> ?a < ?b" name:Ring_and_Field