Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_3

proof
PUMZx..

Megalodon
-

proofgold address
TMVak..

creator
36383 PrCmT../528bf..

owner
36383 PrCmT../528bf..

term root
7d821..