Proofgold Proposition

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

type
prop

theory
HotG

name
setminus_binintersect

proof
PUL8Q..

Megalodon
setminus_binintersect

proofgold address
TMUUo..^{setminus_binintersect}

creator
4882 Pr6Pc../bac1d..

owner
4882 Pr6Pc../bac1d..

term root
2625c..