Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
If_i
(
x1
=
4a7ef..
)
4a7ef..
(
prim0
(
λ x2 .
and
(
80242..
x2
)
(
e6316..
x2
x1
=
x0
)
)
)
as obj
569d0..
as prop
-
theory
HoTg
stx
720c4..
address
TMWFK..