Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_7_Power_8

proof
PUYJ5..

Megalodon
TwoRamseyProp_3_7_Power_8

proofgold address
TMHQT..^{TwoRamseyProp_3_7_Power_8}

creator
15489 Pr4zB../a4e44..

owner
15535 Pr4zB../9a316..

term root
f84df..