Proofgold Proposition

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

type
prop

theory
HotG

name
binunion_setminus

proof
PUL8Q..

Megalodon
binunion_setminus

proofgold address
TMQW2..^{binunion_setminus}

creator
4882 Pr6Pc../ee92c..

owner
4882 Pr6Pc../ee92c..

term root
99c89..