Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_luk2

proof
PUXUn..

Megalodon
-

proofgold address
TMQew..

creator
36376 PrCmT../de942..

owner
36376 PrCmT../de942..

term root
3281c..