Si c = ba-d y d = ab, entonces c = 0

Demostrar con Lean4 que si a, b, c y d son números reales tales

entonces

Para ello, completar la siguiente teoría de Lean4:

Read More «Si c = ba-d y d = ab, entonces c = 0»