Search for blocks/addresses/...

Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 . ∀ x5 : ο . ((x1 = x2∀ x6 : ο . x6)(x1 = x3∀ x6 : ο . x6)(x2 = x3∀ x6 : ο . x6)(x1 = x4∀ x6 : ο . x6)(x2 = x4∀ x6 : ο . x6)(x3 = x4∀ x6 : ο . x6)not (x0 x1 x2)x0 x1 x3x0 x2 x3x0 x1 x4x0 x2 x4not (x0 x3 x4)x5)x5
type
(ιιο) → ιιιιο
theory
HotG
name
-
definition
PUTgE..
Megalodon
-
proofgold address
TMNL5..
creator
34113 Pr4zB../462d8..
owner
34113 Pr4zB../462d8..
term root
6cab1..