3 ms·
A small error I noticed: After explaining the difference between subset and strict_subset, they claim that for all A empty_set strict_subset A which obviousl
by tromp 12y ago
A small error I noticed:
After explaining the difference between subset and strict_subset, they claim that for all A
empty_set strict_subset A
which obviously fails when A is itself empty.
- archibaldJ 12y agoNice! I was just waiting for someone to point it out.