OAI/Combinatorics/SecondNeighborhood/GenericRankFamily.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SeymourSecondNeighborhood.rank_le_card_of_maximum_matching line 12
2. theorem OAI.SeymourSecondNeighborhood.rank_eq_card_of_maximum_matching_minor line 27
3. theorem OAI.SeymourSecondNeighborhood.exists_eval_maximal_support_rank line 45