Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
x0
∈
complex
⟶
HSNo_proj0
x0
=
x0
type
prop
theory
HotG
name
complex_p0_eq
proof
PUcEg..
Megalodon
complex_p0_eq
proofgold address
TMYvK..
complex_p0_eq
creator
28531
PrQUS..
/
32d5b..
owner
28531
PrQUS..
/
32d5b..
term root
6a777..