Metamath Proof Explorer

Table of Contents - 21.3.13.2. Matrix literals

1. clmat
2. df-lmat
3. lmatval
4. lmatfval
5. lmatfvlem
6. lmatcl
7. lmat22lem
8. lmat22e11
9. lmat22e12
10. lmat22e21
11. lmat22e22
12. lmat22det