Commit 2023-05-21 22:57 1d4d3ca5
View on Github →feat(combinatorics/simple_graph): Szemerédi's Regularity Lemma (#11000) Prove (finally!) the equitable version of the Szemerédi Regularity Lemma.
feat(combinatorics/simple_graph): Szemerédi's Regularity Lemma (#11000) Prove (finally!) the equitable version of the Szemerédi Regularity Lemma.