Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUTJW..

Megalodon
MetaCat_struct_c_topology

proofgold address
TMajp..^{MetaCat_struct_c_topology}

creator
9727 PrCx1../c6506..

owner
9727 PrCx1../c6506..

term root
113fe..