Search for blocks/addresses/...
Proofgold Term Root Disambiguation
∀ x0 .
x0
∈
omega
⟶
∀ x1 x2 .
df9be..
(
ordsucc
x0
)
x1
x2
=
b38a5..
(
ap
x1
0
)
(
ap
x2
0
)
(
df9be..
x0
(
stream_rest
x1
)
(
stream_rest
x2
)
)
as obj
-
as prop
1f5be..
theory
HotG
stx
711a4..
address
TMSWp..