Béranger Seguin

about
research
talks
cv
other
bookmarks
formalization
tex2unicode

20260131

Created in January 31, 2026

2026

Vous pouvez m’écouter parler de cohomologie des groupes, d’extensions, et de relèvement de morphismes sur la chaîne YouTube de Philippe Caldero !