Proofgold Proposition

∀ x0 : ι → ι → ο . (∀ x1 x2 . x0 x1 x2) ⟶ ∀ x1 x2 . x0 x2 x1

type
prop

theory
SetMM

name
ax_wl_11v

proof
PUXUn..

Megalodon
-

proofgold address
TMU2F..

creator
36376 PrCmT../e893c..

owner
36376 PrCmT../e893c..

term root
664b3..