The Stokes problem with Navier boundary conditions in irregular domains | Synapse