Proofgold Proposition

type
prop

theory
HotG

name
recip_SNo_pos_2

proof
PUSRj..

Megalodon
recip_SNo_pos_2

proofgold address
TMcYr..^{recip_SNo_pos_2}

creator
27837 PrQUS../92a61..

owner
27837 PrQUS../92a61..

term root
1953c..