Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUhdQ..

Megalodon
MetaCat_struct_p_nonempty

proofgold address
TMKv7..^{MetaCat_struct_p_nonempty}

creator
9725 PrCx1../c4ef4..

owner
9725 PrCx1../c4ef4..

term root
f74de..