Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0 ⟶ HSNo_proj1 (conj_HSNo x0) = minus_CSNo (HSNo_proj1 x0)
type
prop
theory
HotG
name
conj_HSNo_proj1
proof
PUgzA..
Megalodon
conj_HSNo_proj1
proofgold address
TMGAD..conj_HSNo_proj1
creator
28464 PrQUS../a1d38..
owner
28464 PrQUS../a1d38..
term root
07def..