Church-Rosser Theorem

From dankwiki