We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
dd1a985
Arreglo errores de tipeo en la demostración del Teorema 23 y en la definición 92 (Cómputo a partir del estado inicial)