Higher regularity of the inverse mean curvature flow | Synapse