Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_u4_u5_u32

proof
PUTTe..

Megalodon
-

proofgold address
TMGjE..

creator
20043 Pr4zB../3bcfc..

owner
20043 Pr4zB../3bcfc..

term root
a1b03..