Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 :
(
(
ι →
ι →
ι →
ι →
ι →
ι → ι
)
→
(
ι →
ι →
ι →
ι →
ι →
ι → ι
)
→
ι →
ι →
ι →
ι →
ι →
ι → ι
)
→
ι →
ι →
ι →
ι →
ι →
ι → ι
.
884c6..
x0
⟶
884c6..
x1
⟶
8915b..
x0
=
8915b..
x1
⟶
x0
=
x1
type
prop
theory
HotG
name
-
proof
PULrD..
Megalodon
-
proofgold address
TMaug..
creator
19222
Pr4zB..
/
423a4..
owner
19222
Pr4zB..
/
423a4..
term root
1f833..