Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 x3 . ∀ x4 : ο . ((x1 = x2 ⟶ ∀ x5 : ο . x5) ⟶ (x1 = x3 ⟶ ∀ x5 : ο . x5) ⟶ (x2 = x3 ⟶ ∀ x5 : ο . x5) ⟶ not (x0 x1 x2) ⟶ x0 x1 x3 ⟶ x0 x2 x3 ⟶ x4) ⟶ x4

type
(ι → ι → ο) → ι → ι → ι → ο

theory
HotG

name
-

definition
PUYR6..

Megalodon
-

proofgold address
TMN32..

creator
38962 Pr4zB../97949..

owner
38962 Pr4zB../97949..

term root
4bfff..