Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_8_Power_7

proof
PUKRa..

Megalodon
TwoRamseyProp_4_8_Power_7

proofgold address
TMNx6..^{TwoRamseyProp_4_8_Power_7}

creator
22005 Pr4zB../9b8bd..

owner
22007 Pr4zB../37ac7..

term root
7a12f..