Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_7_Power_7

proof
PUaaV..

Megalodon
TwoRamseyProp_4_7_Power_7

proofgold address
TMF6A..^{TwoRamseyProp_4_7_Power_7}

creator
15574 Pr4zB../f7203..

owner
15604 Pr4zB../ba4ad..

term root
1b726..