Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUTEc..

Megalodon
-

proofgold address
TMJuj..

creator
4947 Pr6Pc../b6b30..

owner
4947 Pr6Pc../b6b30..

term root
63714..