Theorem SimpleGraph.card_edgeFinset_replaceVertex_of_not_adj

Modification history

2024-01-13 20:57
Mathlib/Combinatorics/SimpleGraph/Operations.lean
feat: local graph operations (#9267)
Added SimpleGraph.card_edgeFinset_replaceVertex_of_not_adjView on Github →