OAI/Combinatorics/SecondNeighborhood/MaxSupportKernel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SeymourSecondNeighborhood.LinearAlgebra.MaxSupportKernel.SupportedOn line 12
2. theorem OAI.SeymourSecondNeighborhood.LinearAlgebra.MaxSupportKernel.range_lt_range_add_single line 15
3. theorem OAI.SeymourSecondNeighborhood.LinearAlgebra.MaxSupportKernel.kernel_support_of_max_rank line 57
4. theorem OAI.SeymourSecondNeighborhood.LinearAlgebra.MaxSupportKernel.kernel_support line 86