Def SimpleGraph.Iso.lineGraph

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.Iso.lineGraph View on Github →