Metamath Proof Explorer

Table of Contents - 11.1.5. Characterization of free modules

1. lmimlbs
2. lmiclbs
3. islindf4
4. islindf5
5. indlcim
6. lbslcic
7. lmisfree
8. lvecisfrlm
9. lmimco
10. lmictra
11. uvcf1o
12. uvcendim
13. frlmisfrlm
14. frlmiscvec