Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_3_3_5

proof
PUM4y..

Megalodon
not_TwoRamseyProp_3_3_5

proofgold address
TMZoc..^{not_TwoRamseyProp_3_3_5}

creator
4982 Pr6Pc../cecc8..

owner
4982 Pr6Pc../cecc8..

term root
7e632..