Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_4_5_Power_8

proof
PUfZy..

Megalodon
TwoRamseyProp_4_5_Power_8

proofgold address
TMHfW..^{TwoRamseyProp_4_5_Power_8}

creator
15534 Pr4zB../49c3f..

owner
15535 Pr4zB../b778f..

term root
d89be..