Proofgold Proposition

∀ x0 : ο . wn (wn x0) ⟶ x0

type
prop

theory
SetMM

name
ax_frege31

proof
PUQPq..

Megalodon
-

proofgold address
TMbfh..

creator
36399 PrCmT../473a3..

owner
36399 PrCmT../473a3..

term root
48ca9..