Theorem SimpleGraph.dart_fst_fiber

Modification history

2023-03-23 14:47
Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean
feat: Port Combinatorics.SimpleGraph.DegreeSum (#2895)
Added SimpleGraph.dart_fst_fiberView on Github →