Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_9_Power_8

proof
PUKRa..

Megalodon
TwoRamseyProp_4_9_Power_8

proofgold address
TMKYb..^{TwoRamseyProp_4_9_Power_8}

creator
22005 Pr4zB../30220..

owner
22007 Pr4zB../7f27e..

term root
c710f..