Proofgold Proposition

type
prop

theory
HotG

name
form100_3

proof
PUcxH..

Megalodon
form100_3

proofgold address
TMdxU..^form100_3

creator
29779 PrQUS../c5b09..

owner
29779 PrQUS../c5b09..

term root
a25be..