Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_3_5_13

proof
PUhrQ..

Megalodon
not_TwoRamseyProp_3_5_13

proofgold address
TMcGK..^{not_TwoRamseyProp_3_5_13}

creator
18246 Pr4zB../2c2a5..

owner
18319 Pr4zB../068df..

term root
7e98a..