mathlib

5ac5c922 - feat(combinatorics/simple_graph/regularity/uniform): Witnesses of non-uniformity (#13155)

feat(combinatorics/simple_graph/regularity/uniform): Witnesses of non-uniformity (#13155) Provide ways to pick witnesses of non-uniformity. Co-authored-by: Bhavik Mehta <bhavik.mehta8@gmail.com>