Proofgold Proposition

type
prop

theory
HotG

name
recip_SNo_0

proof
PUSRj..

Megalodon
recip_SNo_0

proofgold address
TMcx5..^recip_SNo_0

creator
27837 PrQUS../ec15a..

owner
27837 PrQUS../ec15a..

term root
bda1b..