Density of disc algebra functions in de Branges-Rovnyak spaces

Alexandru Aleman, Bartosz Malman

We prove that functions continuous up to the boundary are dense in de Branges-Rovnyak spaces induced by extreme points the unit ball of $H^{\infty }$.