-
Guillaume Sabbagh authored
Catégorie quotient corrigée, on passe par des identification de morphismes, catégorie acyclique changée en conséquence et catégorie préordre remise comme avant car plus optimisé
466e2d37
Catégorie quotient corrigée, on passe par des identification de morphismes, catégorie acyclique changée en conséquence et catégorie préordre remise comme avant car plus optimisé