Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_5_Power_7

proof
PUfZy..

Megalodon
TwoRamseyProp_4_5_Power_7

proofgold address
TMT72..^{TwoRamseyProp_4_5_Power_7}

creator
15534 Pr4zB../e7bd6..

owner
15535 Pr4zB../9907b..

term root
f5456..