Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUcLi..

Megalodon
MetaCat_struct_b_b_e_e_field

proofgold address
TMbE7..^{MetaCat_struct_b_b_e_e_field}

creator
9730 PrCx1../45a35..

owner
9730 PrCx1../45a35..

term root
8f936..