Talk:Splitting lemma (functions)