3 ms·
Couldn't you write this more simply as A ⊂ B ⇒ size(A) < size(B)?
by munchler 2y ago
Couldn't you write this more simply as A ⊂ B ⇒ size(A) < size(B)?
- dataflow 2y agoYeah I knew someone was gonna ask. The trouble is a lot of people use ⊂ to mean ⊆. So I would've gotten a comment correcting me on that instead.