Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
If_i
(
x1
=
4a7ef..
)
4a7ef..
(
prim0
(
λ x2 .
and
(
1013b..
x2
)
(
7ce1c..
x2
x1
=
x0
)
)
)
as obj
df931..
as prop
-
theory
HoTg
stx
720c4..
address
TMSLm..