Proofgold Proposition

∀ x0 x1 x2 : ο . wb (w3o x0 x1 x2) (wo (wo x0 x1) x2)

type
prop

theory
SetMM

name
df_3or

proof
PUMZx..

Megalodon
-

proofgold address
TMc3x..

creator
36383 PrCmT../107bf..

owner
36383 PrCmT../107bf..

term root
40281..