Source: wikibot/commutant-lifting-theorem

= Commutant lifting theorem
{wiki=Commutant_lifting_theorem}