Proofgold Proposition

SNoL 0 = 0

type
prop

theory
HotG

name
SNoL_0

proof
PUK1b..

Megalodon
SNoL_0

proofgold address
TMVPo..^SNoL_0

creator
4949 Pr6Pc../a27cb..

owner
4949 Pr6Pc../a27cb..

term root
c01c2..