Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUfuv..

Megalodon
MetaCat_struct_u_bij

proofgold address
TMRe4..^{MetaCat_struct_u_bij}

creator
9725 PrCx1../56538..

owner
9725 PrCx1../56538..

term root
97a11..