Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_5_5_Power_6

proof
PUTTe..

Megalodon
TwoRamseyProp_5_5_Power_6

proofgold address
TMFmf..^{TwoRamseyProp_5_5_Power_6}

creator
20043 Pr4zB../24933..

owner
20044 Pr4zB../accb7..

term root
8b983..