Metamath Proof Explorer


Table of Contents - 21.3.13.1. Submatrices

  1. csmat
  2. df-smat
  3. smatfval
  4. smatrcl
  5. smatlem
  6. smattl
  7. smattr
  8. smatbl
  9. smatbr
  10. smatcl
  11. matmpo
  12. 1smat1
  13. submat1n
  14. submatres
  15. submateqlem1
  16. submateqlem2
  17. submateq
  18. submatminr1