Commit 2023-05-22 09:14 02d14be2
View on Github →chore: Add reference for SRL (#4160) Match https://github.com/leanprover-community/mathlib/pull/19051 (and one line of https://github.com/leanprover-community/mathlib/pull/18371)
combinatorics.simple_graph.regularity.energy@f7707875544ef1f81b32cb68c79e0e24e45a0e76..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52dcombinatorics.simple_graph.regularity.equitabilise@4c19a16e4b705bf135cf9a80ac18fcc99c438514..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52dcombinatorics.simple_graph.regularity.uniform@32b08ef840dd25ca2e47e035c5da03ce16d2dc3c..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52d