Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUM3A..

Megalodon
MetaCat_struct_b_semigroup

proofgold address
TMUHC..^{MetaCat_struct_b_semigroup}

creator
9727 PrCx1../f5ef9..

owner
9727 PrCx1../f5ef9..

term root
24624..