Def SimpleGraph.Subgraph.finiteAtOfSubgraph

Modification history

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

feat: port Combinatorics.SimpleGraph.Subgraph (#2495)

Added SimpleGraph.Subgraph.finiteAtOfSubgraph View on Github →