Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_3_7_22

proof
PUV35..

Megalodon
not_TwoRamseyProp_3_7_22

proofgold address
TMJKb..^{not_TwoRamseyProp_3_7_22}

creator
31450 Pr4zB../023fd..

owner
31451 Pr4zB../14f25..

term root
78192..