Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0 ⟶ conj_HSNo (minus_HSNo x0) = minus_HSNo (conj_HSNo x0)
type
prop
theory
HotG
name
conj_minus_HSNo
proof
PUgzA..
Megalodon
conj_minus_HSNo
proofgold address
TMNUe..conj_minus_HSNo
creator
28464 PrQUS../cf2f5..
owner
28464 PrQUS../cf2f5..
term root
ad72a..