Adaptive Multigrid#4726

pbrubeck wants to merge 5 commits intomainfiredrakeproject/firedrake:mainfrom

pbrubeck/adaptive-mgfiredrakeproject/firedrake:pbrubeck/adaptive-mgCopy head branch name to clipboard