Source: wikibot/gabbay-s-separation-theorem

= Gabbay's separation theorem
{wiki=Gabbay's_separation_theorem}