Intersección de intersecciones
Demostrar que
|
1 |
(⋂ i, A i ∩ B i) = (⋂ i, A i) ∩ (⋂ i, B i) |
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 6 7 8 9 10 |
import data.set.basic import tactic open set variable {α : Type} variables A B : ℕ → set α example : (⋂ i, A i ∩ B i) = (⋂ i, A i) ∩ (⋂ i, B i) := sorry |