Proofgold Proposition

∀ x0 x1 x2 : ο . wa x1 x2 ⟶ wif x0 x1 x2

type
prop

theory
SetMM

name
ax_frege58a

proof
PUQPq..

Megalodon
-

proofgold address
TMYiw..

creator
36399 PrCmT../970d4..

owner
36399 PrCmT../970d4..

term root
4eb70..