Metamath Proof Explorer

Table of Contents - 11.6.1. Basic properties

1. pmatring
2. pmatlmod
3. pmatassa
4. pmat0op
5. pmat1op
6. pmat1ovd
7. pmat0opsc
8. pmat1opsc
9. pmat1ovscd
10. pmatcoe1fsupp
11. 1pmatscmul