Développement : [Doublon : A factoriel implique A[X] factoriel] avec 1530

Détails/Enoncé :

Recasages pour l'année 2025 :

Versions :

Pas de version pour ce développement.

Références utilisées dans les versions de ce développement :