Search for blocks/addresses/...
Proofgold Term Root Disambiguation
nat_primrec_iii
(
λ x0 x1 .
0
)
(
λ x0 .
λ x1 :
ι →
ι → ι
.
λ x2 x3 .
b38a5..
(
ap
x2
0
)
(
ap
x3
0
)
(
x1
(
stream_rest
x2
)
(
stream_rest
x3
)
)
)
as obj
df9be..
as prop
-
theory
HotG
stx
711a4..
address
TMcTT..