1. det_mul.md
  2. elimination_invariance.md
  3. mul_prop.md
  4. row_additivity.md
  5. swap_change_sgn.md
  6. transpose_invariance.md