Church–Rosser theorem

ID: church-rosser-theorem

New to topics? Read the docs here!