Développement #388

Titre : A à pgcd implique A[X] à pgcd

Contenu : On montre quelques propriétés générales du pgcd avec des preuves par équivalences, puis on arrive au lemme de Gauss qui permet de débloquer la situation comme dans le cas factoriel.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42