Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUb5w..

Megalodon
MetaCat_struct_r_equivreln

proofgold address
TMGcJ..^{MetaCat_struct_r_equivreln}

creator
9725 PrCx1../42a84..

owner
9725 PrCx1../42a84..

term root
9b874..