Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUcd4..

Megalodon
MetaCat_struct_u_inj

proofgold address
TMRnN..^{MetaCat_struct_u_inj}

creator
9725 PrCx1../cea5d..

owner
9725 PrCx1../cea5d..

term root
a7df0..