Resultados de la búsqueda a petición "totality"

3 la respuesta

Error en la definición de Ackermann en Coq