Développement #907

Titre : Autour de la semi-simplicité & extensions de corps [dvp vide]

Contenu : SVP rajouter au moins un minimum de recasages, une référence. Si possible rajouter une courte description de ce qui est démontré.

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

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