Si x ∈ ℕ, entonces x ∣ x²
Demostrar que si x ∈ ℕ, entonces
1 |
x ∣ x^2 |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 |
import data.nat.pow variable x : ℕ example : x ∣ x^2 := sorry |
Demostrar que si x ∈ ℕ, entonces
1 |
x ∣ x^2 |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 |
import data.nat.pow variable x : ℕ example : x ∣ x^2 := sorry |