Search for blocks/addresses/...
Proofgold Proposition
∀ x0 :
ι →
(
ι →
ι →
ι → ι
)
→
ι →
ι → ι
.
(
∀ x1 .
∀ x2 x3 :
ι →
ι →
ι → ι
.
(
∀ x4 .
x4
∈
x1
⟶
x2
x4
=
x3
x4
)
⟶
x0
x1
x2
=
x0
x1
x3
)
⟶
∀ x1 .
In_rec_G_iii
x0
x1
(
In_rec_iii
x0
x1
)
type
prop
theory
HotG
name
In_rec_G_iii_In_rec_iii
proof
PUVNt..
Megalodon
In_rec_G_iii_In_rec_iii
proofgold address
TMQYo..
In_rec_G_iii_In_rec_iii
creator
4897
Pr6Pc..
/
7ff8a..
owner
4897
Pr6Pc..
/
7ff8a..
term root
d8c3b..