Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
569d0..
(
2f282..
x0
)
(
e6316..
(
2f282..
(
bc82c..
x0
(
f4dc0..
x1
)
)
)
(
2f282..
x1
)
)
as obj
5c14e..
as prop
-
theory
HoTg
stx
f96db..
address
TMXbM..