OAI/Analysis/Quantum/DimensionTen/Cofactors.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.DimensionTen.Border.adjugate_updateRow_column line 11
  2. lemma OAI.DimensionTen.Border.dot_adjugate_column line 19
  3. def OAI.DimensionTen.Border.cofactorKernel line 25
  4. lemma OAI.DimensionTen.Border.cofactorKernel_mul line 28
  5. lemma OAI.DimensionTen.Border.top_minors_kernel line 33
  6. lemma OAI.DimensionTen.Border.cofactorKernel_eq_zero line 61
  7. lemma OAI.DimensionTen.Border.rank_lt_of_kernel line 65
  8. def OAI.DimensionTen.Border.cofactorCoeffs line 94
  9. lemma OAI.DimensionTen.Border.low_eq line 96
  10. lemma OAI.DimensionTen.Border.cofactor_chart_last line 101
  11. lemma OAI.DimensionTen.Border.cofactor_alpha_last_ne line 111