Ajouté par Patrick Baillot il y a plus de 8 ans
corrected polynomial checking lemma
Voir les différences