Metamath Proof Explorer

Table of Contents - 12.4.3. Metric space balls

1. blfvalps
2. blfval
3. blvalps
4. blval
5. elblps
6. elbl
7. elbl2ps
8. elbl2
9. elbl3ps
10. elbl3
11. blcomps
12. blcom
13. xblpnfps
14. xblpnf
15. blpnf
16. bldisj
17. blgt0
18. bl2in
19. xblss2ps
20. xblss2
21. blss2ps
22. blss2
23. blhalf
24. blfps
25. blf
26. blrnps
27. blrn
28. xblcntrps
29. xblcntr
30. blcntrps
31. blcntr
32. xbln0
33. bln0
34. blelrnps
35. blelrn
36. blssm
37. unirnblps
38. unirnbl
39. blin
40. ssblps
41. ssbl
42. blssps
43. blss
44. blssexps
45. blssex
46. ssblex
47. blin2
48. blbas
49. blres
50. xmeterval
51. xmeter
52. xmetec
53. blssec
54. blpnfctr
55. xmetresbl