Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 x2 : ι → ο . λ x3 . lam 4 (λ x4 . If_i (x4 = 0) x0 (If_i (x4 = 1) (Sep x0 x1) (If_i (x4 = 2) (Sep x0 x2) x3)))
type
ι(ιο) → (ιο) → ιι
theory
HotG
name
pack_p_p_e
definition
PUXov..
Megalodon
-
proofgold address
TMYCS..
creator
4943 Pr6Pc../1fe28..
owner
4943 Pr6Pc../1fe28..
term root
5731a..