Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUTqJ..

Megalodon
MetaCat_struct_b_b_e_e_cring

proofgold address
TMFtz..^{MetaCat_struct_b_b_e_e_cring}

creator
9730 PrCx1../27a95..

owner
9730 PrCx1../27a95..

term root
ca400..