ksenono comments

Repositories
Issues
Comments

Results 2 comments of


                                            ksenono

feat(Combinatorics/SimpleGraph/Matching): maximum and maximal matchings for Konig's theorem

Thanks a lot for the feedback!

feat(Combinatorics/SimpleGraph): Konig’s theorem on bipartite graphs

> I'll repost this [comment](https://github.com/leanprover-community/mathlib4/pull/32531#issuecomment-3656805740) since I'm not sure if you've seen it: mathlib generally wants maximum generality for the results it includes. I am not familiar with the proof...