Metamath Proof Explorer


Table of Contents - 20.43.1.6. Functions - extension

  1. fveqvfvv
  2. fnresfnco
  3. funcoressn
  4. funressnfv
  5. funressndmfvrn
  6. funressnvmo
  7. funressnmo
  8. funressneu
  9. fresfo
  10. fsetsniunop
  11. fsetabsnop
  12. fsetsnf
  13. fsetsnf1
  14. fsetsnfo
  15. fsetsnf1o
  16. fsetsnprcnex
  17. cfsetssfset
  18. cfsetsnfsetfv
  19. cfsetsnfsetf
  20. cfsetsnfsetf1
  21. cfsetsnfsetfo
  22. cfsetsnfsetf1o
  23. fsetprcnexALT
  24. fcoreslem1
  25. fcoreslem2
  26. fcoreslem3
  27. fcoreslem4
  28. fcores
  29. fcoresf1lem
  30. fcoresf1
  31. fcoresf1b
  32. fcoresfo
  33. fcoresfob
  34. fcoresf1ob
  35. f1cof1blem
  36. f1cof1b
  37. funfocofob
  38. fnfocofob
  39. focofob
  40. f1ocof1ob
  41. f1ocof1ob2