| #
b749a23b |
|
21-Feb-2018 |
Rafal Kolanski <rafal.kolanski@nicta.com.au> |
lib: add find_names command to find other names of a theorem
When given a theorem, find_names finds other names the theorem appears
under, via matching on the whole proposition. It will not identify
unnamed theorems.
|