Theorem SimpleGraph.IsContained.isIndContained_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.IsContained.isIndContained_lineGraph View on Github →