Mathlib Changelog
v4
Changelog
About
Github
Theorem
Digraph.toSimpleGraphInclusive_bot
Modification history
2024-11-04 21:20
Mathlib/Combinatorics/Digraph/Orientation.lean
feat(Combinatorics/SimpleGraph): conversions between `SimpleGraph` and `Digraphs` (#16954) …
Added
Digraph.toSimpleGraphInclusive_bot
View on Github →