Icon
 

Pruebas en Lean La suma de dos funciones pares es una funci 243 n