Def SimpleGraph.lineGraph

Modification history

2026-03-22 12:35
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
feat(Combinatorics/SimpleGraph/LineGraph): lift copies/isomorphisms to line-graph (#33292) …
Modified SimpleGraph.lineGraphView on Github →
2024-09-08 13:32
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
feat(Combinatorics/SimpleGraph): define the line graph of a simple graph (#16276) …
Added SimpleGraph.lineGraphView on Github →