Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo x0

type
prop

theory
HotG

name
SNo_CSNo

proof
PUgeJ..

Megalodon
SNo_CSNo

proofgold address
TMR4D..^SNo_CSNo

creator
4958 Pr6Pc../057d5..

owner
4958 Pr6Pc../057d5..

term root
56121..