Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_8_Power_7

proof
PUfZy..

Megalodon
TwoRamseyProp_3_8_Power_7

proofgold address
TMWq6..^{TwoRamseyProp_3_8_Power_7}

creator
15534 Pr4zB../1d6a5..

owner
15535 Pr4zB../49a42..

term root
a8d43..