Demostración asistida por ordenador (2011-12) Demostración asistida por ordenador (2011-12)

Se ha superado el límite de recursividad de la función "unstrip" ($1)