Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PURhD..

Megalodon
MetaCat_struct_u_idem

proofgold address
TMQLb..^{MetaCat_struct_u_idem}

creator
9725 PrCx1../01427..

owner
9725 PrCx1../01427..

term root
2568d..