Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
ap
(
Field_of_RealsStruct
x0
)
3
=
field4
x0
type
prop
theory
HotG
name
Field_of_RealsStruct_3
proof
PUSkV..
Megalodon
Field_of_RealsStruct_3
proofgold address
TMLDS..
Field_of_RealsStruct_3
creator
5784
Pr6Pc..
/
a0016..
owner
5784
Pr6Pc..
/
a0016..
term root
3a0c6..