Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_7_Power_8

proof
PUaaV..

Megalodon
TwoRamseyProp_4_7_Power_8

proofgold address
TMSLH..^{TwoRamseyProp_4_7_Power_8}

creator
15574 Pr4zB../b03ff..

owner
15604 Pr4zB../574a6..

term root
bf3f2..