Proofgold Proposition

∀ x0 x1 x2 : ο . wb (wcad x0 x1 x2) (wo (wa x0 x1) (wa x2 (wxo x0 x1)))

type
prop

theory
SetMM

name
df_cad

proof
PUMZx..

Megalodon
-

proofgold address
TMa9M..

creator
36383 PrCmT../c7975..

owner
36383 PrCmT../c7975..

term root
c5859..