Def Digraph.toSimpleGraphInclusive

Modification history

2024-11-04 21:20

Mathlib/Combinatorics/Digraph/Orientation.lean

feat(Combinatorics/SimpleGraph): conversions between `SimpleGraph` and `Digraphs` (#16954) …

Added Digraph.toSimpleGraphInclusive View on Github →