OAI/Combinatorics/SecondNeighborhood/MatrixMaps.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SeymourSecondNeighborhood.Pruning.SupportedCoefficients line 11
  2. theorem OAI.SeymourSecondNeighborhood.Pruning.SupportedCoefficients.of_ne_zero line 14
  3. def OAI.SeymourSecondNeighborhood.Pruning.matrixL line 24
  4. def OAI.SeymourSecondNeighborhood.Pruning.matrixN line 28
  5. def OAI.SeymourSecondNeighborhood.Pruning.matrixB line 32
  6. def OAI.SeymourSecondNeighborhood.Pruning.matrixA line 36
  7. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixL_apply line 40
  8. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixN_apply line 45
  9. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixB_apply line 50
  10. theorem OAI.SeymourSecondNeighborhood.Pruning.matrixA_apply line 55