Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (2)
Functions - extension
Next ⟩
fvifeq
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 20.43.6.6. Functions - extension
fvifeq
rnfdmpr
imarnf1pr
funop1
fun2dmnopgexmpl
opabresex0d
opabbrfex0d
opabresexd
opabbrfexd
f1oresf1orab
f1oresf1o
f1oresf1o2