Ajouté par Patrick Baillot il y a plus de 8 ans
completeness proof : changed case z \neq 0 in the formula for predicative minimisation
Voir les différences