Proofgold Proposition

type
prop

theory
HotG

name
TwoRamseyProp_3_10_Power_7

proof
PUfc5..

Megalodon
TwoRamseyProp_3_10_Power_7

proofgold address
TMNxM..^{TwoRamseyProp_3_10_Power_7}

creator
15574 Pr4zB../70da5..

owner
15604 Pr4zB../e5063..

term root
33f2c..