Theorem SimpleGraph.circulantGraph_eq_erase_zero

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_eq_erase_zeroView on Github →