Gabbay's separation theorem

ID: gabbay-s-separation-theorem

New to topics? Read the docs here!