Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUX1F..

Megalodon
MetaCat_struct_b_b_e_e_semiring

proofgold address
TMSmt..^{MetaCat_struct_b_b_e_e_semiring}

creator
9730 PrCx1../0391a..

owner
9730 PrCx1../0391a..

term root
847b7..