Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUZdZ..

Megalodon
MetaCat_struct_b_b_r_e_e_ordered_field

proofgold address
TMJLo..^{MetaCat_struct_b_b_r_e_e_ordered_field}

creator
9730 PrCx1../08dc0..

owner
9730 PrCx1../08dc0..

term root
cdd98..