Def SimpleGraph.circulantGraph

Modification history

2024-08-06 08:16

Mathlib/Combinatorics/SimpleGraph/Circulant.lean

feat(Combinatorics/SimpleGraph): Add definition of circulant graph and cycle graph (#15501)

Added SimpleGraph.circulantGraph View on Github →