Edición de «AED2 resumen 2C-17»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 77: | Línea 77: | ||
esPermutación?: secu(α) x secu(α) → bool | esPermutación?: secu(α) x secu(α) → bool | ||
esPermutación?(s,t) ≡ | esPermutación?(s,t) ≡ aux(s,s,t) | ||
=== k === | === k === |