Proofgold Proposition

type
prop

theory
HotG

name
not_TwoRamseyProp_3_4_8

proof
PUKgX..

Megalodon
not_TwoRamseyProp_3_4_8

proofgold address
TMZTR..^{not_TwoRamseyProp_3_4_8}

creator
14577 Pr4zB../66eaf..

owner
14580 Pr4zB../8e2eb..

term root
ab581..