Search for blocks/addresses/...
Proofgold Term Root Disambiguation
Subq
2
(
UPair
0
1
)
as obj
-
as prop
8fa42..
Subq_2_UPair01
theory
HF
stx
0d78c..
address
TMUYF..
Subq_2_UPair01