Theorem SzemerediRegularity.one_le_m_coe

Modification history

2023-06-26 04:42

Mathlib/Combinatorics/SimpleGraph/Regularity/Bound.lean

feat: port Combinatorics.SimpleGraph.Regularity.Bound (#4409)

Added SzemerediRegularity.one_le_m_coe View on Github →