Source: wikibot/feferman-vaught-theorem

= Feferman–Vaught theorem
{wiki=Feferman–Vaught_theorem}