Proofgold Proposition

∀ x0 . x0 ∈ u17 ⟶ ∀ x1 . x1 ∈ u17 ⟶ (TwoRamseyGraph_3_6_Church17 (u17_to_Church17 x0) (u17_to_Church17 x1) = λ x3 x4 . x3) ⟶ TwoRamseyGraph_3_6_17 x0 x1

type
prop

theory
HotG

name
-

proof
PUZqC..

Megalodon
-

proofgold address
TMcuZ..

creator
31261 Pr4zB../7a0cd..

owner
31261 Pr4zB../7a0cd..

term root
a3161..