Commit 2024-02-13 03:34 62ac0bdd

View on Github →

chore(SimpleGraph/DegreeSum): drop some DecidableEq assumptions (#10443)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean

modified theorem SimpleGraph.Dart.edge_fiber

modified theorem SimpleGraph.dart_edge_fiber_card