nLab
Banach-Steinhaus theorem