Bonjour,

alors on prend f:E--->F et on suppose que
!g tel que xE, g(f(x))=x

. injectivité c'est pas trop dur :
soit x, y dans E tel que f(x)=f(y), existence d'un inverse à gauche et c'est fini.

. surjectivité par l'absurde :
soit yF\f(E), construit h₁ et h₂ 2 inverses à gauche de f qui diffère en y.

je vais peut etre paraitre idiot mais je trouve que c'est pas du tout évident

pour la surjectivité