Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 x5 x6 . ∀ x7 : ο . (87c36.. 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 x6x0 x2 x6x0 x3 x6not (x0 x4 x6)not (x0 x5 x6)x7)x7
type
(ιιο) → ιιιιιιο
theory
HotG
name
-
definition
PUeMy..
Megalodon
-
proofgold address
TMXiP..
creator
34134 Pr4zB../91220..
owner
34134 Pr4zB../91220..
term root
b963b..