Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 .
∀ x1 :
ι → ο
.
858ff..
x0
x1
⟶
∀ x2 : ο .
(
x0
=
5e331..
⟶
x1
=
07017..
⟶
x2
)
⟶
(
∀ x3 x4 .
∀ x5 x6 :
ι → ο
.
858ff..
x3
x5
⟶
858ff..
x4
x6
⟶
x0
=
a3eb9..
x3
x4
⟶
x1
=
c0709..
x5
x6
⟶
x2
)
⟶
(
∀ x3 x4 .
∀ x5 x6 :
ι → ο
.
858ff..
x3
x5
⟶
858ff..
x4
x6
⟶
x0
=
bf68c..
x3
x4
⟶
x1
=
6e020..
x5
x6
⟶
x2
)
⟶
x2
as obj
-
as prop
98718..
theory
HOAS
stx
8d75a..
address
TMJhv..