Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_7_Power_6

proof
PUYJ5..

Megalodon
TwoRamseyProp_3_7_Power_6

proofgold address
TMUmw..^{TwoRamseyProp_3_7_Power_6}

creator
15489 Pr4zB../5f1b4..

owner
15535 Pr4zB../f8c0e..

term root
3243c..