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