Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 x5 . ∀ x6 : ο . (2f869.. x0 x1 x2 x3 x4(x1 = x5∀ x7 : ο . x7)(x2 = x5∀ x7 : ο . x7)(x3 = x5∀ x7 : ο . x7)(x4 = x5∀ x7 : ο . x7)not (x0 x1 x5)x0 x2 x5not (x0 x3 x5)x0 x4 x5x6)x6
type
(ιιο) → ιιιιιο
theory
HotG
name
-
definition
PUTgE..
Megalodon
-
proofgold address
TMYkJ..
creator
34113 Pr4zB../9f1e4..
owner
34113 Pr4zB../9f1e4..
term root
ba9a8..