Search for blocks/addresses/...
Proofgold Term Root Disambiguation
2f0a8..
⟶
fb56c..
as obj
-
as prop
5fbe6..
AC_2_imp_AC_1
theory
HF
stx
a8b20..
address
TMH73..
AC_2_imp_AC_1