Proofgold Proposition

∀ x0 x1 x2 x3 : ο . wb (w_bnj17 x0 x1 x2 x3) (wa (w3a x0 x1 x2) x3)

type
prop

theory
SetMM

name
df_bnj17

proof
PUgtu..

Megalodon
-

proofgold address
TMbWZ..

creator
36399 PrCmT../5e1e9..

owner
36399 PrCmT../5e1e9..

term root
1b853..