Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . HSNo x0HSNo x1conj_HSNo (add_HSNo x0 x1) = add_HSNo (conj_HSNo x0) (conj_HSNo x1)
type
prop
theory
HotG
name
conj_add_HSNo
proof
PUgzA..
Megalodon
conj_add_HSNo
proofgold address
TMaB8..conj_add_HSNo
creator
28464 PrQUS../6a724..
owner
28464 PrQUS../6a724..
term root
777e8..