Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
and
(
Subq
x1
(
472ec..
x0
)
)
(
∀ x2 .
prim1
x2
x0
⟶
exactly1of2
(
prim1
(
15418..
x2
(
91630..
(
4ae4a..
4a7ef..
)
)
)
x1
)
(
prim1
x2
x1
)
)
as obj
1beb9..
as prop
-
theory
HoTg
stx
38a69..
address
TMUdC..