commit ae1ac14578fb629a48db1d3c4f804485628fc768 parent d8ebfc0cc55f5bf43bcc333a190f5123e5b6bd80 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 24 Jul 2025 10:55:02 +0200 commit with codex Diffstat:
co_lexicographic_order | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/co_lexicographic_order b/co_lexicographic_order @@ -2,6 +2,6 @@ defined in [cotumaccio2023colexicographically] -See also: [lexicographic_order], [cotumaccio2024myhill] +See also: [lexicographic_order], [cotumaccio2024myhill], [Wheeler_NFA] Up: [order]