Proofgold Proposition

∀ x0 . TwoRamseyProp 2 x0 x0

type
prop

theory
HotG

name
-

proof
PUTTe..

Megalodon
TwoRamseyProp_2

proofgold address
TMYjf..^{TwoRamseyProp_2}

creator
20043 Pr4zB../9e161..

owner
20043 Pr4zB../9e161..

term root
0b333..