Add manifold flattening lemma