mathlib

1d4d3ca5 - feat(combinatorics/simple_graph): Szemerédi's Regularity Lemma (#11000)

feat(combinatorics/simple_graph): Szemerédi's Regularity Lemma (#11000) Prove (finally!) the equitable version of the Szemerédi Regularity Lemma. Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>