Si a, b, c, d, e y f son números reales tales que a * b = c * d y e = f entonces, a * (b * e) = c * (d * f)
Demostrar que si a, b, c, d, e y f son números reales tales que
1 2 |
a * b = c * d e = f |
Entonces,
1 |
a * (b * e) = c * (d * f) |
Para ello, completar la siguiente teoría de Lean:
1 2 3 4 5 6 7 8 |
import data.real.basic variables a b c d e f : ℝ example (h1 : a * b = c * d) (h2 : e = f) : a * (b * e) = c * (d * f) := |