This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(combinatorics/simple_graph/degree_sum): degree-sum formula and handshake lemma#5263
Closed
kmill wants to merge 61 commits intomasterfrom degree-sum
+289
Commits
Commits on Dec 2, 2020
- committed
- committed
- committed
Merge branch 'simple_graphs3' of https://github.com/leanprover-community/mathlib into simple_graphs3
committed- committed
- committed
- committed
- committed
Merge branch 'simple_graphs3' of https://github.com/leanprover-community/mathlib into simple_graphs3
committed- committed
- committed
Commits on Dec 3, 2020
- committed
Merge branch 'simple_graphs3' of https://github.com/leanprover-community/mathlib into simple_graphs3
committed- committed
- committed
Merge branch 'simple_graphs3' of https://github.com/leanprover-community/mathlib into simple_graphs3
committed
Commits on Dec 4, 2020
Commits on Dec 6, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 7, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 8, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed