Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
nat_p
x0
⟶
mul_nat
x0
x0
=
x0
⟶
or
(
x0
=
0
)
(
x0
=
1
)
type
prop
theory
HotG
name
-
proof
PUNZW..
Megalodon
-
proofgold address
TMEiM..
creator
30499
Pr5Zc..
/
52d2f..
owner
30499
Pr5Zc..
/
52d2f..
term root
111bc..