Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUYRz..

Megalodon
MetaCat_struct_b_b_e_crng

proofgold address
TMFfJ..^{MetaCat_struct_b_b_e_crng}

creator
9730 PrCx1../f0cc5..

owner
9730 PrCx1../f0cc5..

term root
8ccfb..