Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_5_5_Power_8

proof
PUaaV..

Megalodon
TwoRamseyProp_5_5_Power_8

proofgold address
TMSwf..^{TwoRamseyProp_5_5_Power_8}

creator
15574 Pr4zB../6e81b..

owner
15604 Pr4zB../5e733..

term root
e6c87..