Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUgSm..

Megalodon
MetaCat_struct_r_ord

proofgold address
TMdch..^{MetaCat_struct_r_ord}

creator
9725 PrCx1../6b960..

owner
9725 PrCx1../6b960..

term root
cd9a3..