Theorem SimpleGraph.Dart.snd_ne_fst

Modification history

2024-09-06 19:00
Mathlib/Combinatorics/SimpleGraph/Dart.lean
feat(Combinatorics/SimpleGraph): add miscellaneous lemmas (#16294)
Added SimpleGraph.Dart.snd_ne_fstView on Github →