Prove properties of sets instead of assuming them
Opened this issue · 1 comments
MatthewCaseres commented
More formalism is good. Make sure it is well-written.
MatthewCaseres commented
This involves the relationship between subsets and equality, which does require truth tables #2