Metamath Proof Explorer

Table of Contents - 7.2.27. Algebraic closure systems

1. isacs
2. acsmre
3. isacs2
4. acsfiel
5. acsfiel2
6. acsmred
7. isacs1i
8. mreacs
9. acsfn
10. acsfn0
11. acsfn1
12. acsfn1c
13. acsfn2