Proofgold Object

λ x0 x1 . ∀ x2 x3 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x2 ⟶ Church17_p x3 ⟶ x0 = x2 0 u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 ⟶ x1 = x3 0 u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 ⟶ TwoRamseyGraph_4_4_Church17 x2 x3 = λ x5 x6 . x5

type
ι → ι → ο

theory
HotG

name
TwoRamseyGraph_4_4_17

definition
PULx2..

Megalodon
-

proofgold address
TMYLX..

creator
18218 Pr4zB../c144c..

owner
18218 Pr4zB../c144c..

term root
b722f..