OAI/Computability/PerfectCompleteness/Algebra/TensorSliceDimension.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PerfectCompleteness.TensorSliceDimension.mask_card line 16
  2. theorem OAI.PerfectCompleteness.TensorSliceDimension.mask_card_le line 19
  3. theorem OAI.PerfectCompleteness.TensorSliceDimension.reciprocal_mask_card_ge line 24
  4. theorem OAI.PerfectCompleteness.TensorSliceDimension.linearMap_finrank_le line 35
  5. theorem OAI.PerfectCompleteness.TensorSliceDimension.reciprocal_linearMap_masks_ge line 41
  6. theorem OAI.PerfectCompleteness.TensorSliceDimension.row_finrank_le line 53
  7. theorem OAI.PerfectCompleteness.TensorSliceDimension.equation_finrank_le line 56
  8. theorem OAI.PerfectCompleteness.TensorSliceDimension.equation_mask_card line 60
  9. theorem OAI.PerfectCompleteness.TensorSliceDimension.equation_mask_card_le line 67
  10. theorem OAI.PerfectCompleteness.TensorSliceDimension.reciprocal_equation_mask_card_ge line 71
  11. theorem OAI.PerfectCompleteness.TensorSliceDimension.restriction_finrank_le line 76