Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_pow

proof
PUQyb..

Megalodon
-

proofgold address
TMLT9..

creator
36397 PrCmT../50f7f..

owner
36397 PrCmT../50f7f..

term root
acc82..