Las funciones f(x,y) = (x + y)² y g(x,y) = x² + 2xy + y² son iguales

Demostrar con Lean4 que las funciones \(f(x,y) = (x + y)²\) y \(g(x,y) = x² + 2xy + y\)² son iguales.

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

Se puede interactuar con las demostraciones anteriores en Lean 4 Web.

Referencias

Escribe un comentario