Modelling Set Difference
Prove: ret(substract(?, r)) = ret ? \ ret r
Previous slide
Next slide
Back to first slide
View graphic version