Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUdSd..

Megalodon
-

proofgold address
TMUuQ..

creator
22019 Pr4zB../37699..

owner
22019 Pr4zB../37699..

term root
9a1a9..