Theorem SimpleGraph.dart_edge_fiber_card

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_card View on Github →

2023-03-23 14:47

Mathlib/Combinatorics/SimpleGraph/DegreeSum.lean

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

Added SimpleGraph.dart_edge_fiber_card View on Github →