Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (CSNo_Im x0)

type
prop

theory
HotG

name
CSNo_ImR

proof
PUQvq..

Megalodon
CSNo_ImR

proofgold address
TMbPw..^CSNo_ImR

creator
28444 PrQUS../0981f..

owner
28444 PrQUS../0981f..

term root
c1dc5..