Proofgold Proposition

∀ x0 x1 x2 x3 : ο . wb x0 x1 ⟶ wif x0 x3 x2 ⟶ wif x1 x3 x2

type
prop

theory
SetMM

name
ax_frege52a

proof
PUQPq..

Megalodon
-

proofgold address
TMVNZ..

creator
36399 PrCmT../7ee17..

owner
36399 PrCmT../7ee17..

term root
1e8bf..