Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_7_Power_7

proof
PUYJ5..

Megalodon
TwoRamseyProp_3_7_Power_7

proofgold address
TMPUF..^{TwoRamseyProp_3_7_Power_7}

creator
15489 Pr4zB../91fe3..

owner
15535 Pr4zB../f2a1c..

term root
6158c..