Mathlib v3 is deprecated. Go to Mathlib v4

Theorem disjoint.edge_set

Modification history

2021-12-30 06:52

src/combinatorics/simple_graph/subgraph.lean

feat(combinatorics/simple_graph): lemmas describing edge set of subgraphs (#11087)

Added disjoint.edge_set View on Github →