Theorem SimpleGraph.IsSubgraph.lineGraph

Modification history

2026-03-26 13:40
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
chore(Combinatorics/SimpleGraph): fix order diamonds (#37148) …
Deleted SimpleGraph.IsSubgraph.lineGraphView on Github →
2026-03-22 12:35
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
feat(Combinatorics/SimpleGraph/LineGraph): lift copies/isomorphisms to line-graph (#33292) …
Added SimpleGraph.IsSubgraph.lineGraphView on Github →