Proofgold Proposition

∀ x0 x1 x2 . (x0 = x1 ⟶ ∀ x3 : ο . x3) ⟶ (x0 = x2 ⟶ ∀ x3 : ο . x3) ⟶ (x1 = x2 ⟶ ∀ x3 : ο . x3) ⟶ equip (SetAdjoin (UPair x0 x1) x2) u3

type
prop

theory
HotG

name
-

proof
PUgKv..

Megalodon
-

proofgold address
TMGPG..

creator
19831 Pr4zB../5c4e0..

owner
19831 Pr4zB../5c4e0..

term root
01a9c..