Regularity up to the boundary I

From Rakesh Rakesh