Theorem SimpleGraph.Dart.fst_ne_snd

Modification history

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