Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
x0
∈
u22
⟶
x1
∈
u22
⟶
94591..
(
e7a80..
x0
)
(
e7a80..
x1
)
=
λ x3 x4 .
x3
as obj
9043a..
as prop
-
theory
HotG
stx
26bcf..
address
TMEqb..