Cela ne me semble pas bien utile, une page listant les théorèmes existant déjà ; et d'autant moins utiles que les lemmes que tu cites n'interviennent pas tellement (dans les cours que je connais) en tant que lemmes  c'estàdire étape de la démo d'un théorème  mais en tant qu'énoncé ayant un intérêt propre  à part le lemme des noyaux. Qu'en pensestu?