Update README.md

datokrat · web-flow · commit d98993776eb7 · 2025-08-22T09:11:54.000+02:00
diff --git a/README.md b/README.md
@@ -1 +1 @@
-# Iterator
+**Note:** The iterators have been added to the Lean standard library and can be used after importing `Std.Data.Iterators`. This repository is archived now and should not be used.

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-# Iterator`
	`1`	+Note: The iterators have been added to the Lean standard library and can be used after importing `Std.Data.Iterators`. This repository is archived now and should not be used.