Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNoLe 0 (modulus_CSNo x0)

type
prop

theory
HotG

name
modulus_CSNo_nonneg

proof
PURry..

Megalodon
modulus_CSNo_nonneg

proofgold address
TMaqh..^{modulus_CSNo_nonneg}

creator
28463 PrQUS../d0413..

owner
28463 PrQUS../d0413..

term root
9e4a1..