Metamath Proof Explorer

Table of Contents - 20.43.6.6. Functions - extension

  1. fvifeq
  2. rnfdmpr
  3. imarnf1pr
  4. funop1
  5. fun2dmnopgexmpl
  6. opabresex0d
  7. opabbrfex0d
  8. opabresexd
  9. opabbrfexd
  10. f1oresf1orab
  11. f1oresf1o
  12. f1oresf1o2