find? -> findRev?

2026-04-04 19:24:09 +00:00 · 2025-12-04 17:46:11 +01:00
1 changed files with 2 additions and 2 deletions
--- a/src/Init/Data/List/Basic.lean
+++ b/src/Init/Data/List/Basic.lean
@@ -1607,8 +1607,8 @@ such element is found.
 `O(|l|)`.

 Examples:
-* `[7, 6, 5, 8, 1, 2, 6].find? (· < 5) = some 2`
-* `[7, 6, 5, 8, 1, 2, 6].find? (· < 1) = none`
+* `[7, 6, 5, 8, 1, 2, 6].findRev? (· < 5) = some 2`
+* `[7, 6, 5, 8, 1, 2, 6].findRev? (· < 1) = none`
 -/
 def findRev? (p : α → Bool) : List α → Option α
  | []    => none