Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_4_9_Power_5

proof
PUTQ1..

Megalodon
not_TwoRamseyProp_4_9_Power_5

proofgold address
TMFCR..^{not_TwoRamseyProp_4_9_Power_5}

creator
21829 Pr4zB../7b529..

owner
21833 Pr4zB../4f18c..

term root
9b816..