Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_8_Power_8

proof
PUfZy..

Megalodon
TwoRamseyProp_3_8_Power_8

proofgold address
TMG2j..^{TwoRamseyProp_3_8_Power_8}

creator
15534 Pr4zB../efa2d..

owner
15535 Pr4zB../e178c..

term root
dd449..