Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 :
ι → ο
.
df3ca..
(
707bb..
x0
)
(
4b3e1..
x0
)
as obj
d701e..
as prop
-
theory
HOAS
stx
e4836..
address
TMTqG..