J'aime bien y a que
@Hotarue qui ose big-upper mes messages où je râle en parlant de théorie des groupes.
Sinon depuis quand est-ce que le cardinal de l'espace de départ est égal au produit des cardinaux du noyau et de l'image ?

Je connaissais la version pour les applications d'espaces vectoriels, c'est juste le théorème du rang, mais c'est une somme.

Je crois qu'il va falloir que j'aille vérifier ce que ça donne pour les morphismes de groupes.