Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUQQ9..

Megalodon
prime_nat_2

proofgold address
TMLC2..^prime_nat_2

creator
30111 PrQUS../edfee..

owner
30111 PrQUS../edfee..

term root
3729f..