Theorem SimpleGraph.LocallyLinear.le_ruzsaSzemerediNumber

Modification history

2024-12-10 17:35
Mathlib/Combinatorics/Extremal/RuzsaSzemeredi.lean
feat: lower bound on the Ruzsa-Szemerédi problem (#19000) …
Added SimpleGraph.LocallyLinear.le_ruzsaSzemerediNumberView on Github →