[firedrake] mapping between two meshes

Dear all, I would like to check the convergence of my solution as I refine the mesh. Say, I have two solutions in CG1 space, f_coarse on mesh_coarse and f_fine on mesh_fine, which is a refined mesh_coarse. Can I map/interpolate/project f_fine onto mesh_coarse in Firedrake? Thank you, Tomasz