Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∃ x0 .
and
(
707bb..
8ac9a..
x0
)
(
∀ x2 .
d701e..
(
de327..
8ac9a..
x2
)
(
57d6a..
x0
x2
)
x2
)
as obj
-
as prop
90489..
theory
HOAS
stx
82925..
address
TMUfe..