Ajouté par Patrick Baillot il y a plus de 9 ans
Completed the free-cut elimination proof
Voir les différences