Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUbwZ..

Megalodon
MetaCat_struct_r_partialord

proofgold address
TMTjU..^{MetaCat_struct_r_partialord}

creator
9725 PrCx1../a9e70..

owner
9725 PrCx1../a9e70..

term root
3cfb3..