Ajouté par Patrick Baillot il y a plus de 9 ans
Revised the case of weak cut in free-cut elimination
Voir les différences