Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
Field
x0
⟶
field2b
x0
(
Field_minus
x0
(
field4
x0
)
)
(
Field_minus
x0
(
field4
x0
)
)
=
field4
x0
type
prop
theory
HotG
name
Field_minus_one_square
proof
PUXQg..
Megalodon
Field_minus_one_square
proofgold address
TMYd1..
Field_minus_one_square
creator
5919
Pr6Pc..
/
635f2..
owner
5919
Pr6Pc..
/
635f2..
term root
f1d40..