Theorem SimpleGraph.lineGraph_adj_iff_exists

Modification history

2024-09-08 13:32
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
feat(Combinatorics/SimpleGraph): define the line graph of a simple graph (#16276) …
Added SimpleGraph.lineGraph_adj_iff_existsView on Github →