Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_5_5_Power_7

proof
PUaaV..

Megalodon
TwoRamseyProp_5_5_Power_7

proofgold address
TMJPA..^{TwoRamseyProp_5_5_Power_7}

creator
15574 Pr4zB../594ab..

owner
15604 Pr4zB../f5a2e..

term root
35cb8..