Proofgold Proposition

type
prop

theory
HotG

name
-

proof
PUKgX..

Megalodon
not_TwoRamseyProp_5_8_Power_3

proofgold address
TMV4o..^{not_TwoRamseyProp_5_8_Power_3}

creator
14577 Pr4zB../b2c96..

owner
14580 Pr4zB../f91ea..

term root
87e3c..