Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_3_6_17

proof
PULzF..

Megalodon
not_TwoRamseyProp_3_6_17

proofgold address
TMMeq..^{not_TwoRamseyProp_3_6_17}

creator
19311 Pr4zB../7af99..

owner
19317 Pr4zB../e742e..

term root
0b6b9..