Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (modulus_CSNo x0)

type
prop

theory
HotG

name
SNo_modulus_CSNo

proof
PURry..

Megalodon
SNo_modulus_CSNo

proofgold address
TMLbs..^{SNo_modulus_CSNo}

creator
28463 PrQUS../45a68..

owner
28463 PrQUS../45a68..

term root
fac03..