Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_8_Power_8

proof
PUZeu..

Megalodon
TwoRamseyProp_4_8_Power_8

proofgold address
TMSkR..^{TwoRamseyProp_4_8_Power_8}

creator
15602 Pr4zB../7d30e..

owner
15604 Pr4zB../94eb0..

term root
08eff..