Nakayama lemma (source code)

= Nakayama lemma
{c}
{wiki}

= Nakayama's lemma
{c}
{synonym}