Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 x5 x6 . ∀ x7 : ο . (5a3b5.. x0 x1 x2 x3 x4 x5(x1 = x6∀ x8 : ο . x8)(x2 = x6∀ x8 : ο . x8)(x3 = x6∀ x8 : ο . x8)(x4 = x6∀ x8 : ο . x8)(x5 = x6∀ x8 : ο . x8)x0 x1 x6not (x0 x2 x6)not (x0 x3 x6)not (x0 x4 x6)not (x0 x5 x6)x7)x7
type
(ιιο) → ιιιιιιο
theory
HotG
name
-
definition
PUeMy..
Megalodon
-
proofgold address
TMSpH..
creator
34134 Pr4zB../4cc80..
owner
34134 Pr4zB../4cc80..
term root
11c94..