Metamath Proof Explorer

Table of Contents - 21.44.9. Permutation models

1. brpermmodel
2. brpermmodelcnv
3. permaxext
4. permaxrep
5. permaxsep
6. permaxnul
7. permaxpow
8. permaxpr
9. permaxun
10. permaxinf2lem
11. permaxinf2
12. permac8prim
13. nregmodelf1o
14. nregmodellem
15. nregmodel
16. nregmodelaxext