Cartan's lemma (source code)

= Cartan's lemma
{wiki=Cartan's_lemma}