Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_4_8_Power_5

proof
PUTQ1..

Megalodon
not_TwoRamseyProp_4_8_Power_5

proofgold address
TMGQT..^{not_TwoRamseyProp_4_8_Power_5}

creator
21829 Pr4zB../34800..

owner
21833 Pr4zB../00ebc..

term root
18bbd..