Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUe8q..

Megalodon
MetaCat_struct_u_idem_terminal

proofgold address
TMJ9w..^{MetaCat_struct_u_idem_terminal}

creator
35047 PrHS6../fc719..

owner
35050 PrHS6../b46e6..

term root
6f1f9..