Commit 2025-08-20 10:00 67b6f4e9
View on Github →feat(Combinatorics/SimpleGraph): define completeEquipartiteGraph (#27597)
Define the complete equipartite graph in r parts each of equal size t such that two vertices are adjacent if and only if they are in different parts.
These graphs are typically denoted by $$K_r(t)$$.