Recently I found Theorem FUNCT_4:42 and FUNCT_4:45 are
completely identical, both of which are described as follows
not x in dom g implies (f +.g).x = f.x.
The article containing the two theorems was finished by 1990.
Why are not the duplicated thorems still deleted untill now ?
Jingchao Chen