Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUg5x..

Megalodon
MetaCat_struct_r_per_initial

proofgold address
TMbkR..^{MetaCat_struct_r_per_initial}

creator
11300 PrEBh../caf52..

owner
11305 PrEBh../5cd5e..

term root
5aca8..