Proofgold Proposition

∀ x0 . CSNo x0 ⟶ SNo (CSNo_Im x0)

type
prop

theory
HotG

name
CSNo_ImR

proof
PUgeJ..

Megalodon
CSNo_ImR

proofgold address
TMaeN..^CSNo_ImR

creator
4958 Pr6Pc../4b148..

owner
4958 Pr6Pc../4b148..

term root
ab80b..