Theorem SimpleGraph.Dart.edge_fiber

Modification history

2024-02-13 03:34

Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean

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

Modified SimpleGraph.Dart.edge_fiber View on Github →

2023-03-23 14:47

Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean

feat: Port Combinatorics.SimpleGraph.DegreeSum (#2895)

Added SimpleGraph.Dart.edge_fiber View on Github →