Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_5_Power_5

proof
PUTTe..

Megalodon
TwoRamseyProp_4_5_Power_5

proofgold address
TMV3Y..^{TwoRamseyProp_4_5_Power_5}

creator
20043 Pr4zB../40b63..

owner
20044 Pr4zB../2dad2..

term root
503a9..