Where to put the infinite graph version of Ramsey theorem?

Stream: CSLib

[Ching-Tsun Chou]

I'm not sure when the general infinitary Ramsey theorem will appear in mathlib:
#mathlib4 > Infinite Ramsey theory
But I'll need the graph version soon. So I'll prove what I need. Where should I put it in cslib? Should it be in Cslib/Foundations/Combinatorics, Cslib/Foundations/Graphs, Cslib/Foundations/Data/Graphs, or somewhere else? It will look something like this:
https://github.com/ctchou/AutomataTheory/blob/main/AutomataTheory/Mathlib/InfGraphRamsey.lean