Proofgold Proposition

∀ x0 . CSNo x0 ⟶ HSNo x0

type
prop

theory
HotG

name
CSNo_HSNo

proof
PUgzA..

Megalodon
CSNo_HSNo

proofgold address
TMbvC..^CSNo_HSNo

creator
28464 PrQUS../74e78..

owner
28464 PrQUS../74e78..

term root
30739..