Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-07-30 12:27
2a73834e
View on Github →
chore(Combinatorics): remove superfluous use of DecidableEq (
#15306
) Found by the linter in
#10235
.
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean
Modified
Mathlib/Combinatorics/SimpleGraph/Matching.lean
modified
theorem
SimpleGraph.ConnectedComponent.even_card_of_isPerfectMatching