Search for blocks/addresses/...
Proofgold Proposition
∀ x0 .
HSNo
x0
⟶
HSNo_proj0
(
conj_HSNo
x0
)
=
conj_CSNo
(
HSNo_proj0
x0
)
type
prop
theory
HotG
name
conj_HSNo_proj0
proof
PUgzA..
Megalodon
conj_HSNo_proj0
proofgold address
TMZjf..
conj_HSNo_proj0
creator
28464
PrQUS..
/
dc5ce..
owner
28464
PrQUS..
/
dc5ce..
term root
c3731..