Commit 2022-03-31 02:10 299984b4
View on Github →feat(combinatorics/simple_graph/uniform): Graph uniformity and uniform partitions (#12957) Define uniformity of a pair of vertices in a graph and uniformity of a partition of vertices of a graph.
feat(combinatorics/simple_graph/uniform): Graph uniformity and uniform partitions (#12957) Define uniformity of a pair of vertices in a graph and uniformity of a partition of vertices of a graph.