Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
ap
(
Field_of_RealsStruct
x0
)
4
=
RealsStruct_one
x0
type
prop
theory
HotG
name
Field_of_RealsStruct_4
proof
PUSkV..
Megalodon
Field_of_RealsStruct_4
proofgold address
TMJTg..
Field_of_RealsStruct_4
creator
5784
Pr6Pc..
/
31de1..
owner
5784
Pr6Pc..
/
31de1..
term root
f8ef8..