OAI/Combinatorics/SecondNeighborhood/GenericRankSelection.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixL_supported_on_matchingSupport line 13
2. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixNTranspose_supported_on_matchingSupport line 24
3. theorem OAI.SeymourSecondNeighborhood.Pruning.exists_pruning_rank_coefficients line 35