Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_5_14

proof
PUTTe..

Megalodon
TwoRamseyProp_3_5_14

proofgold address
TMbSh..^{TwoRamseyProp_3_5_14}

creator
20043 Pr4zB../10ea6..

owner
20044 Pr4zB../f6d6b..

term root
3e761..