Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_9_Power_7

proof
PUfc5..

Megalodon
TwoRamseyProp_3_9_Power_7

proofgold address
TMM77..^{TwoRamseyProp_3_9_Power_7}

creator
15574 Pr4zB../9e046..

owner
15604 Pr4zB../45fa7..

term root
35f64..