Proofgold Proposition

∀ x0 x1 x2 . setminus x0 (binunion x1 x2) = setminus (setminus x0 x1) x2

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
setminus_binunion

proofgold address
TMJe6..^{setminus_binunion}

creator
1446 PrGxv../e57f6..

owner
1446 PrGxv../e57f6..

term root
eb41b..