Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_7_Power_5

proof
PUYJ5..

Megalodon
TwoRamseyProp_3_7_Power_5

proofgold address
TMb4e..^{TwoRamseyProp_3_7_Power_5}

creator
15489 Pr4zB../882e8..

owner
15535 Pr4zB../4aa3f..

term root
9b611..