Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_4_4_17

proof
PUagg..

Megalodon
not_TwoRamseyProp_4_4_17

proofgold address
TMFYW..^{not_TwoRamseyProp_4_4_17}

creator
18318 Pr4zB../eef3e..

owner
18319 Pr4zB../bbebc..

term root
ac13d..