Proofgold Proposition

∀ x0 x1 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x0 ⟶ Church17_p x1 ⟶ (x0 = x1 ⟶ ∀ x2 : ο . x2) ⟶ bb6a5.. x0 x1 = TwoRamseyGraph_3_6_Church17 x0 x1

type
prop

theory
HotG

name
-

proof
PUXqr..

Megalodon
-

proofgold address
TMY5m..

creator
19221 Pr4zB../2eda2..

owner
19221 Pr4zB../2eda2..

term root
86ce9..