Quelques corrections mineurs#5

Open

craff wants to merge 3 commits intoexo7math:masterfrom

Commits on Sep 12, 2025

enlève a \ne 0 pour 1 neutre et ajoute b \ne 0 pour l'inverse
craff
committed
Il vaut mieux préciser ouvert (non vide) dans la preuve de la densité car ça ressemble a des énoncés de lemmes et il faut mieux qu'ils soient correctes.
craff
committed
Espace inutile en fin de ligne
craff
committed