Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
ap
(
Field_of_RealsStruct
x0
)
0
=
field0
x0
type
prop
theory
HotG
name
Field_of_RealsStruct_0
proof
PUSkV..
Megalodon
Field_of_RealsStruct_0
proofgold address
TMNmZ..
Field_of_RealsStruct_0
creator
5784
Pr6Pc..
/
9a915..
owner
5784
Pr6Pc..
/
9a915..
term root
e3591..