Theorem SimpleGraph.cycleGraph_neighborFinset

Modification history

2026-06-30 21:02

Mathlib/Combinatorics/SimpleGraph/Circulant.lean

chore(SimpleGraph): move `cycleGraph` to its own file (#37930) …

Modified SimpleGraph.cycleGraph_neighborFinset View on Github →

2024-08-06 08:16

Mathlib/Combinatorics/SimpleGraph/Circulant.lean

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

Added SimpleGraph.cycleGraph_neighborFinset View on Github →