Proofgold Proposition

∀ x0 . CSNo x0 ⟶ HSNo_proj1 x0 = 0

type
prop

theory
HotG

name
CSNo_HSNo_proj1

proof
PUgzA..

Megalodon
CSNo_HSNo_proj1

proofgold address
TMNg7..^{CSNo_HSNo_proj1}

creator
28464 PrQUS../4f3c7..

owner
28464 PrQUS../4f3c7..

term root
15d87..