Proofgold Proposition

type
prop

theory
HotG

name
recip_SNo_pos_1

proof
PUSRj..

Megalodon
recip_SNo_pos_1

proofgold address
TMc1P..^{recip_SNo_pos_1}

creator
27837 PrQUS../18ace..

owner
27837 PrQUS../18ace..

term root
df53e..