Para cualquier conjunto s, s ⊆ s
Demostrar que, para cualquier conjunto s, s ⊆ s
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 |
import tactic variables {α : Type*} (s : set α) example : s ⊆ s := sorry |
Demostrar que, para cualquier conjunto s, s ⊆ s
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 |
import tactic variables {α : Type*} (s : set α) example : s ⊆ s := sorry |