Proofgold Proposition

type
prop

theory
HotG

name
SNoL_nonneg_1

proof
PUewm..

Megalodon
SNoL_nonneg_1

proofgold address
TMMZ1..^{SNoL_nonneg_1}

creator
27779 PrQUS../94cfc..

owner
27779 PrQUS../94cfc..

term root
74d4e..