Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
CSNo
x0
⟶
conj_CSNo
(
minus_CSNo
x0
)
=
minus_CSNo
(
conj_CSNo
x0
)
type
prop
theory
HotG
name
conj_minus_CSNo
proof
PUQvq..
Megalodon
conj_minus_CSNo
proofgold address
TMbVi..
conj_minus_CSNo
creator
28444
PrQUS..
/
b4d2c..
owner
28444
PrQUS..
/
b4d2c..
term root
e285c..