iterators

datokrat · datokrat · commit 56fb7bbc07ea · 2025-09-05T15:23:46.000+02:00
diff --git a/Manual/Order/Test.lean b/Manual/Order/Test.lean
@@ -15,9 +15,9 @@ open Verso.Genre.Manual.InlineLean
 
 set_option pp.rawOnError true
 
-#doc (Manual) "Order typeclasses" =>
+#doc (Manual) "Iterators and Ranges" =>
 %%%
-tag := "order"
+tag := "iterators"
 %%%
 
 Lorem ipsum
