Referenced by:

• cauchys-functional-equation
• closures-and-completions