Commit 2025-10-31 23:20 fedfe24d

View on Github →

chore(Combinatorics): golf some graph proofs (#31126)

Estimated changes

Modified Mathlib/Combinatorics/Digraph/Orientation.lean

modified theorem Digraph.toSimpleGraphInclusive_mono

Modified Mathlib/Combinatorics/SimpleGraph/Maps.lean

modified theorem SimpleGraph.comap_monotone