Theorem SimpleGraph.singletonFinsubgraph_le_adj_right

Modification history

2023-05-17 12:51
Mathlib/Combinatorics/SimpleGraph/Finsubgraph.lean
feat: port Combinatorics.SimpleGraph.Finsubgraph (#4010)
Added SimpleGraph.singletonFinsubgraph_le_adj_rightView on Github →