Proofgold Proposition

∀ x0 . wex (λ x1 . ∀ x2 . wex (λ x3 . wa (wcel (cv x2) (cv x3)) (wcel (cv x3) (cv x0))) ⟶ wcel (cv x2) (cv x1))

type
prop

theory
SetMM

name
ax_un

proof
PUWab..

Megalodon
-

proofgold address
TMUUW..

creator
36397 PrCmT../f6acd..

owner
36397 PrCmT../f6acd..

term root
fedd2..