Proofgold Proposition

type
prop

theory
HotG

name
minus_OSNo_0

proof
PUdK2..

Megalodon
minus_OSNo_0

proofgold address
TMRai..^minus_OSNo_0

creator
28513 PrQUS../10c79..

owner
28513 PrQUS../10c79..

term root
82bb0..