Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_10_Power_6

proof
PUfc5..

Megalodon
TwoRamseyProp_3_10_Power_6

proofgold address
TMHXj..^{TwoRamseyProp_3_10_Power_6}

creator
15574 Pr4zB../d01a8..

owner
15604 Pr4zB../67d33..

term root
52f5a..