Theorem SimpleGraph.dart_fst_fiber_card_eq_degree

Modification history

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