Développement : [Lemme de Zolotarev : doublon avec Frobenius Zolotarev]

Détails/Enoncé :

Recasages pour l'année 2019 :

Autres années :

Versions :

Pas de version pour ce développement.