Update README

2017-12-08 03:34:05 +01:00
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -12,7 +12,7 @@ Sujet
  lemme admis moins fort qui donne l'existence de `n`
  (`certain_termination_exists_minimal`).

-  Le point (3) de ce lemme a égalememnt été admis, il aurait dû être prouvé à
+* Le point (3) de ce lemme a égalememnt été admis, il aurait dû être prouvé à
  partir de l'axiome `lub_is_first_correct`.

 ## Résultats obtenus