Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_5_Power_6

proof
PUfZy..

Megalodon
TwoRamseyProp_4_5_Power_6

proofgold address
TMNtF..^{TwoRamseyProp_4_5_Power_6}

creator
15534 Pr4zB../0d538..

owner
15535 Pr4zB../6e89d..

term root
a8740..