Hi all, I have a problem when I want to do conjunction on a union without overflow. My problem is:
(1) let ans = empty
(2) for i from 1 to n do:
How to prove that
?
Edit: now I can prove it:D give me downvote if you are too stupid to solve this problem:D