Séminaire Marelle : Finite Group Representation Theory with Coq

Désolé, cet article est seulement disponible en Anglais Américain.