Source: wikibot/kronecker-s-lemma

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