Theorem SzemerediRegularity.coe_stepBound

Modification history

2023-12-26 20:26
Mathlib/Combinatorics/SimpleGraph/Regularity/Bound.lean
chore: Make Szeméredi regularity calculation more readable (#9284) …
Added SzemerediRegularity.coe_stepBoundView on Github →