Metamath Proof Explorer


Table of Contents - 2.4.32. Finite intersections

  1. cfi
  2. df-fi
  3. fival
  4. elfi
  5. elfi2
  6. elfir
  7. intrnfi
  8. iinfi
  9. inelfi
  10. ssfii
  11. fi0
  12. fieq0
  13. fiin
  14. dffi2
  15. fiss
  16. inficl
  17. fipwuni
  18. fisn
  19. fiuni
  20. fipwss
  21. elfiun
  22. dffi3
  23. fifo