diff --git a/doc/lean/library_style.org b/doc/lean/library_style.org
index 3729256ec..89d8ca4c5 100644
--- a/doc/lean/library_style.org
+++ b/doc/lean/library_style.org
@@ -78,7 +78,7 @@ import standard algebra.ordered_ring
 open nat algebra
 
 check lt_of_succ_le
-check lt_of_not_le
+check lt_of_not_ge
 check lt_of_le_of_ne
 check add_lt_add_of_lt_of_le
 #+END_SRC