Metamath Proof Explorer

Table of Contents - 12.1.16. Refinements

1. cref
2. cptfin
3. clocfin
4. df-ref
5. df-ptfin
6. df-locfin
7. refrel
8. isref
9. refbas
10. refssex
11. ssref
12. refref
13. reftr
14. refun0
15. isptfin
16. islocfin
17. finptfin
18. ptfinfin
19. finlocfin
20. locfintop
21. locfinbas
22. locfinnei
23. lfinpfin
24. lfinun
25. locfincmp
26. unisngl
27. dissnref
28. dissnlocfin
29. locfindis
30. locfincf
31. comppfsc