Si a, b y c son números reales, entonces (a * b) * c = b * (a * c)
Demostrar que los números reales tienen la siguiente propiedad
1 |
(a * b) * c = b * (a * c) |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 |
import data.real.basic variables a b c : ℝ example : (a * b) * c = b * (a * c) := sorry |
Read More «Si a, b y c son números reales, entonces (a * b) * c = b * (a * c)»