Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_4_5_24

proof
PUVnt..

Megalodon
not_TwoRamseyProp_4_5_24

proofgold address
TMXaE..^{not_TwoRamseyProp_4_5_24}

creator
18989 Pr4zB../70cf6..

owner
18991 Pr4zB../46fd4..

term root
9ca42..