Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_9_Power_6

proof
PUfc5..

Megalodon
TwoRamseyProp_3_9_Power_6

proofgold address
TMRpV..^{TwoRamseyProp_3_9_Power_6}

creator
15574 Pr4zB../aa35b..

owner
15604 Pr4zB../96eaf..

term root
ad780..