Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ CSNo (div_CSNo x0 x1)

type
prop

theory
HotG

name
CSNo_div_CSNo

proof
PURry..

Megalodon
CSNo_div_CSNo

proofgold address
TMHcX..^{CSNo_div_CSNo}

creator
28463 PrQUS../8579d..

owner
28463 PrQUS../8579d..

term root
91055..