OAI/Combinatorics/SecondNeighborhood/MatrixMapsPolynomial.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SeymourSecondNeighborhood.Pruning.matrixLPolynomial line 12
2. def OAI.SeymourSecondNeighborhood.Pruning.matrixNPolynomial line 18
3. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixLPolynomial_apply line 24
4. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixNPolynomial_apply line 33
5. theorem OAI.SeymourSecondNeighborhood.Pruning.eval_matrixLPolynomial line 42
6. theorem OAI.SeymourSecondNeighborhood.Pruning.eval_matrixNPolynomial line 53
7. theorem OAI.SeymourSecondNeighborhood.Pruning.eval_matrixNPolynomial_transpose line 64