Theorem ruzsaSzemerediNumberNat_le_ruzsaSzemerediNumberNat

Modification history

2025-10-17 14:39
Mathlib/Combinatorics/Extremal/RuzsaSzemeredi.lean
chore: use `grw`, `gcongr` more (#30508) …
Added ruzsaSzemerediNumberNat_le_ruzsaSzemerediNumberNatView on Github →