Barendregt-Geuvers-Klop Conjecture

From dankwiki