Holland's schema theorem

From dankwiki