mathlib

8a213165 - feat(combinatorics/simple_graph/regularity/bound): Numerical bounds for Szemerédi's regularity lemma (#12962)

feat(combinatorics/simple_graph/regularity/bound): Numerical bounds for Szemerédi's regularity lemma (#12962) Define the constants appearing in Szemerédi's regularity lemma and prove a bunch of numerical facts about them. Co-authored-by: Bhavik Mehta <bhavik.mehta8@gmail.com>