Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUKoR..

Megalodon
MetaCat_struct_b_b_r_e_e

proofgold address
TMMge..^{MetaCat_struct_b_b_r_e_e}

creator
9852 PrCx1../1b6cf..

owner
9852 PrCx1../1b6cf..

term root
e1b7b..