Proofgold Proposition

∀ x0 . x0 ∈ u17 ⟶ ∀ x1 . x1 ∈ u17 ⟶ 0aea9.. x0 x1 ⟶ TwoRamseyGraph_3_6_17 x0 x1

type
prop

theory
HotG

name
-

proof
PUVxk..

Megalodon
-

proofgold address
TMSHk..

creator
31381 Pr4zB../ad34c..

owner
31381 Pr4zB../ad34c..

term root
e16ab..