Proofgold Proposition

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

type
prop

theory
SetMM

name
df_xor

proof
PUMZx..

Megalodon
-

proofgold address
TMYmu..

creator
36383 PrCmT../cc3af..

owner
36383 PrCmT../cc3af..

term root
d95e5..