Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUKoR..

Megalodon
MetaCat_struct_e

proofgold address
TMMqD..^{MetaCat_struct_e}

creator
9852 PrCx1../fea67..

owner
9852 PrCx1../fea67..

term root
40d0b..