Proofgold Proposition

∀ x0 x1 x2 x3 x4 . (x0 = x1 ⟶ ∀ x5 : ο . x5) ⟶ (x0 = x2 ⟶ ∀ x5 : ο . x5) ⟶ (x0 = x3 ⟶ ∀ x5 : ο . x5) ⟶ (x0 = x4 ⟶ ∀ x5 : ο . x5) ⟶ (x1 = x2 ⟶ ∀ x5 : ο . x5) ⟶ (x1 = x3 ⟶ ∀ x5 : ο . x5) ⟶ (x1 = x4 ⟶ ∀ x5 : ο . x5) ⟶ (x2 = x3 ⟶ ∀ x5 : ο . x5) ⟶ (x2 = x4 ⟶ ∀ x5 : ο . x5) ⟶ (x3 = x4 ⟶ ∀ x5 : ο . x5) ⟶ equip (SetAdjoin (SetAdjoin (SetAdjoin (UPair x0 x1) x2) x3) x4) u5

type
prop

theory
HotG

name
-

proof
PUWvd..

Megalodon
-

proofgold address
TMNfq..

creator
19897 Pr4zB../1188d..

owner
19897 Pr4zB../1188d..

term root
3fcec..