Proofgold Asset

Prim 0/a6994.. : ι → ι → ι
Prim 1/aeaf7.. : (ι → ι) → ι
Axiom 128d8.. : ∀ x0 x1 x2 x3 . prim0 x0 x1 = prim0 x2 x3 ⟶ ∀ x4 : ο . (x0 = x2 ⟶ x1 = x3 ⟶ x4) ⟶ x4
Axiom b4755.. : ∀ x0 x1 : ι → ι . prim1 x0 = prim1 x1 ⟶ x0 = x1
Axiom 9aea6.. : ∀ x0 x1 . ∀ x2 : ι → ι . prim0 x0 x1 = prim1 x2 ⟶ ∀ x3 : ο . x3
Axiom prop_ext_2 : ∀ x0 x1 : ο . (x0 ⟶ x1) ⟶ (x1 ⟶ x0) ⟶ x0 = x1