Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . x0 ∈ u17 ⟶ x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_Church17 (u17_to_Church17_buggy x0) (u17_to_Church17_buggy x1) = λ x3 x4 . x3
type
ι → ι → ο
theory
HotG
name
TwoRamseyGraph_3_6_17_buggy
definition
PUecc..
Megalodon
-
proofgold address
TMTun..
creator
18985 Pr4zB../d8606..
owner
18985 Pr4zB../d8606..
term root
75c5b..