Proofgold Asset

Definition 1596d.. := ∀ x0 : ο . x0
Known ax_luk2 : ∀ x0 : ο . (wn x0 ⟶ x0) ⟶ x0
Known ax_luk3 : ∀ x0 x1 : ο . x0 ⟶ wn x0 ⟶ x1
Known ax_9d1 : wn (∀ x0 . wn (wceq (cv x0) (cv x0)))
Theorem b92a8.. : ∀ x0 : ο . (∀ x1 . x0) ⟶ x0 (proof)