Metamath Proof Explorer

Table of Contents - 21.3.10.14. Fixed points

1. cfxp
2. df-fxp
3. fxpval
4. fxpss
5. fxpgaval
6. isfxp
7. fxpgaeq
8. conjga
9. cntrval2
10. fxpsubm
11. fxpsubg
12. fxpsubrg
13. fxpsdrg