Proofgold Proposition

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

type
prop

theory
HotG

name
setminus_binunion

proof
PUL8Q..

Megalodon
setminus_binunion

proofgold address
TMT4E..^{setminus_binunion}

creator
4882 Pr6Pc../655c9..

owner
4882 Pr6Pc../655c9..

term root
0b931..