Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_5_Power_4

proof
PUbsN..

Megalodon
TwoRamseyProp_3_5_Power_4

proofgold address
TMGMo..^{TwoRamseyProp_3_5_Power_4}

creator
19996 Pr4zB../97608..

owner
19997 Pr4zB../3ca70..

term root
2f03f..