Source: wikibot/boolean-prime-ideal-theorem

= Boolean prime ideal theorem
{wiki=Boolean_prime_ideal_theorem}