Intersección con su unión
Demostrar que s ∩ (s ∪ t) = s
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 : set α example : s ∩ (s ∪ t) = s := sorry |
Demostrar que s ∩ (s ∪ t) = s
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 : set α example : s ∩ (s ∪ t) = s := sorry |