Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_4_6_35

proof
PUTQ1..

Megalodon
not_TwoRamseyProp_4_6_35

proofgold address
TMTP6..^{not_TwoRamseyProp_4_6_35}

creator
21829 Pr4zB../39c28..

owner
21833 Pr4zB../ff6c9..

term root
d40bf..