Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 . ap (lam 6 (λ x7 . If_i (x7 = 0) x0 (If_i (x7 = 1) x1 (If_i (x7 = 2) x2 (If_i (x7 = 3) x3 (If_i (x7 = 4) x4 x5)))))) 5 = x5
type
prop
theory
HotG
name
tuple_6_5_eq
proof
PUPin..
Megalodon
tuple_6_5_eq
proofgold address
TMcBo..tuple_6_5_eq
creator
4905 Pr6Pc../3c2b5..
owner
4905 Pr6Pc../3c2b5..
term root
e53f7..