Search for blocks/addresses/...

Proofgold Object

λ x0 x1 x2 x3 . TwoRamseyGraph_4_6_Church6_squared_a (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_a
definition
PUdmQ..
Megalodon
-
proofgold address
TMbDP..
creator
20263 Pr4zB../2e791..
owner
20263 Pr4zB../2e791..
term root
4f4f6..