Proofgold Proposition

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

type
prop

theory
SetMM

name
df_bi

proof
PUMZx..

Megalodon
-

proofgold address
TMSL5..

creator
36383 PrCmT../ea817..

owner
36383 PrCmT../ea817..

term root
f4992..