Proofgold Object

λ x0 x1 x2 x3 . x0 ∈ u6 ⟶ x1 ∈ u6 ⟶ x2 ∈ u6 ⟶ x3 ∈ u6 ⟶ TwoRamseyGraph_4_6_Church6_squared_b (nth_6_tuple x0) (nth_6_tuple x1) (nth_6_tuple x2) (nth_6_tuple x3) = λ x5 x6 . x5

type
ι → ι → ι → ι → ο

theory
HotG

name
TwoRamseyGraph_4_6_35_b

definition
PUQDi..

Megalodon
-

proofgold address
TMcW4..

creator
20263 Pr4zB../34986..

owner
20263 Pr4zB../34986..

term root
47fea..