Proofgold Proposition

type
prop

theory
HotG

name
SNoLt_minus_1_0

proof
PUY2k..

Megalodon
SNoLt_minus_1_0

proofgold address
TMVR1..^{SNoLt_minus_1_0}

creator
16784 PrGxv../5b4e1..

owner
16784 PrGxv../5b4e1..

term root
71f8f..