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
..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52d
combinatorics.simple_graph.regularity.equitabilise
@4c19a16e4b705bf135cf9a80ac18fcc99c438514
..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52d
combinatorics.simple_graph.regularity.uniform
@32b08ef840dd25ca2e47e035c5da03ce16d2dc3c
..bf7ef0e83e5b7e6c1169e97f055e58a2e4e9d52d