commit 54477608a465d5bbeceb20f7344162332b2ef877 parent 19c1497d43cc411d28fb0ccf358b7c218cbf4a9e Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 6 Jan 2025 15:57:01 +0100 commit with codex Diffstat:
| ramsey_theorem | | | 4 | +++- |
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/ramsey_theorem b/ramsey_theorem @@ -10,6 +10,8 @@ Generalizations: - [hypergraphs] - https://en.wikipedia.org/wiki/Ramsey%27s_theorem#Hypergraphs -Can also be useful in [formal_language_theory] +Can also be useful in [formal_language_theory]: [ramsey_formal_languages] Up: [mathematics] + +Aliases: Ramsey's theorem