Download
https://www.glc.us.es/~jalonso/calculemus/22-feb-23/
(s \ t) \ u ⊆ s \ (t ∪ u)
Share