Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo x0

type
prop

theory
HotG

name
SNo_CSNo

proof
PUQvq..

Megalodon
SNo_CSNo

proofgold address
TMQmh..^SNo_CSNo

creator
28444 PrQUS../120f1..

owner
28444 PrQUS../120f1..

term root
9b048..