Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_u5_u5_u64

proof
PUTTe..

Megalodon
-

proofgold address
TMLfv..

creator
20043 Pr4zB../59ddc..

owner
20043 Pr4zB../59ddc..

term root
d420c..