Metamath Proof Explorer


Table of Contents - 12.2.2. Filters

  1. cfil
  2. df-fil
  3. isfil
  4. filfbas
  5. 0nelfil
  6. fileln0
  7. filsspw
  8. filelss
  9. filss
  10. filin
  11. filtop
  12. isfil2
  13. isfildlem
  14. isfild
  15. filfi
  16. filinn0
  17. filintn0
  18. filn0
  19. infil
  20. snfil
  21. fbasweak
  22. snfbas
  23. fsubbas
  24. fbasfip
  25. fbunfip
  26. fgval
  27. elfg
  28. ssfg
  29. fgss
  30. fgss2
  31. fgfil
  32. elfilss
  33. filfinnfr
  34. fgcl
  35. fgabs
  36. neifil
  37. filunibas
  38. filunirn
  39. filconn
  40. fbasrn
  41. filuni
  42. trfil1
  43. trfil2
  44. trfil3
  45. trfilss
  46. fgtr
  47. trfg
  48. trnei
  49. cfinfil
  50. csdfil
  51. supfil
  52. zfbas
  53. uzrest
  54. uzfbas