Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUb21..

Megalodon
MetaCat_struct_b_b_e_e_ring

proofgold address
TMTtF..^{MetaCat_struct_b_b_e_e_ring}

creator
9730 PrCx1../e7b73..

owner
9730 PrCx1../e7b73..

term root
2454e..