Search for blocks/addresses/...
Proofgold Term Root Disambiguation
not
(
TransSet
(
Sing
1
)
)
as obj
-
as prop
be9a7..
not_TransSet_Sing1
theory
HotG
stx
fab7c..
address
TMJBs..
not_TransSet_Sing1