[GdT Log&Prog] Vendredi 27 mai, 11h (demain)

Bonjour, Demain on terminera le cycle de séances "injectivité de Rel". Pierre et moi normalement avons fini de reconstruire la preuve et on pourra donc tenter de la présenter au tableau. À demain ! Damiano