Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_10_Power_8

proof
PUfc5..

Megalodon
TwoRamseyProp_3_10_Power_8

proofgold address
TMP3Z..^{TwoRamseyProp_3_10_Power_8}

creator
15574 Pr4zB../10836..

owner
15604 Pr4zB../c3f9a..

term root
d1c9f..