Theorem Digraph.toSimpleGraphInclusive_mono

Modification history

2025-10-31 23:20
Mathlib/Combinatorics/Digraph/Orientation.lean
chore(Combinatorics): golf some graph proofs (#31126)
Modified Digraph.toSimpleGraphInclusive_monoView on Github →
2024-11-04 21:20
Mathlib/Combinatorics/Digraph/Orientation.lean
feat(Combinatorics/SimpleGraph): conversions between `SimpleGraph` and `Digraphs` (#16954) …
Added Digraph.toSimpleGraphInclusive_monoView on Github →