Theorem ruzsaSzemerediNumber_le

Modification history

2026-07-08 09:06

Mathlib/Combinatorics/Extremal/RuzsaSzemeredi.lean

chore: remove redundant `open scoped Classical` (#41423) …

Modified ruzsaSzemerediNumber_le View on Github →

2024-12-10 17:35

Mathlib/Combinatorics/Extremal/RuzsaSzemeredi.lean

feat: lower bound on the Ruzsa-Szemerédi problem (#19000) …

Added ruzsaSzemerediNumber_le View on Github →