Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . x0 ∈ u17 ⟶ x1 ∈ u17 ⟶ TwoRamseyGraph_3_6_Church17 (u17_to_Church17 x0) (u17_to_Church17 x1) = λ x3 x4 . x3
type
ι → ι → ο
theory
HotG
name
TwoRamseyGraph_3_6_17
definition
PUTR5..
Megalodon
-
proofgold address
TMKY3..
creator
19108 Pr4zB../caaf6..
owner
19108 Pr4zB../caaf6..
term root
9185b..