Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUPcM..

Megalodon
MetaCat_struct_c_Hausdorff_topology

proofgold address
TMRNZ..^{MetaCat_struct_c_Hausdorff_topology}

creator
9727 PrCx1../91ee3..

owner
9727 PrCx1../91ee3..

term root
39da1..