Theorem SzemerediRegularity.increment_isEquipartition

Modification history

2024-05-01 23:24
Mathlib/Combinatorics/SimpleGraph/Regularity/Increment.lean
chore(SimpleGraph/Regularity): Don't use `Classical` (#12575) …
Modified SzemerediRegularity.increment_isEquipartitionView on Github →
2023-06-26 09:40
Mathlib/Combinatorics/SimpleGraph/Regularity/Increment.lean
feat: port Combinatorics.SimpleGraph.Regularity.Increment (#5476)
Added SzemerediRegularity.increment_isEquipartitionView on Github →