Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUNkE..

Megalodon
MetaCat_struct_r_per

proofgold address
TMXWY..^{MetaCat_struct_r_per}

creator
9725 PrCx1../d6252..

owner
9725 PrCx1../d6252..

term root
a9109..