2 ms·
French version, as a proper PDF: https://girard.perso.math.cnrs.fr/moutarde.pdf https://girard.perso.math.cnrs.fr/moutarde.pdf
by layer8 1y ago
French version, as a proper PDF: https://girard.perso.math.cnrs.fr/moutarde.pdf https://girard.perso.math.cnrs.fr/moutarde.pdf