Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUVxk..

Megalodon
-

proofgold address
TMHxs..

creator
31381 Pr4zB../f2f53..

owner
31381 Pr4zB../f2f53..

term root
331d7..