Search for blocks/addresses/...
Proofgold Object
λ x0 x1 x2 .
∃ x3 x5 .
and
(
and
(
e95e2..
x0
x3
x1
x2
)
(
subfield
x3
x5
)
)
(
radical_field_extension
x0
x5
)
type
ι
→
ι
→
ι
→
ο
theory
HotG
name
-
definition
PUXQg..
Megalodon
-
proofgold address
TMTfj..
creator
5919
Pr6Pc..
/
71824..
owner
5919
Pr6Pc..
/
71824..
term root
747ec..