Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_3_6

proof
PUdTF..

Megalodon
TwoRamseyProp_3_3_6

proofgold address
TMHKQ..^{TwoRamseyProp_3_3_6}

creator
4982 Pr6Pc../78a31..

owner
4982 Pr6Pc../78a31..

term root
52b0e..