Diferencia de diferencia de conjuntos
Demostrar que (s \ t) \ u ⊆ s \ (t ∪ u)
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.set.basic open set variable {α : Type} variables s t u : set α example : (s \ t) \ u ⊆ s \ (t ∪ u) := sorry |