Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 .
x0
∈
u22
⟶
∀ x1 :
ι → ο
.
x1
0
⟶
x1
u1
⟶
x1
u2
⟶
x1
u3
⟶
x1
u4
⟶
x1
u5
⟶
x1
u6
⟶
x1
u7
⟶
x1
u8
⟶
x1
u9
⟶
x1
u10
⟶
x1
u11
⟶
x1
u12
⟶
x1
u13
⟶
x1
u14
⟶
x1
u15
⟶
x1
u16
⟶
x1
u17
⟶
x1
u18
⟶
x1
u19
⟶
x1
u20
⟶
x1
u21
⟶
x1
x0
as obj
-
as prop
df354..
theory
HotG
stx
39aca..
address
TMHMR..