Def SimpleGraph.Copy.toLineGraphEmbedding

Modification history

2026-03-22 12:35

Mathlib/Combinatorics/SimpleGraph/LineGraph.lean

feat(Combinatorics/SimpleGraph/LineGraph): lift copies/isomorphisms to line-graph (#33292) …

Added SimpleGraph.Copy.toLineGraphEmbedding View on Github →