A shorter proof to uniqueness of solutions of equations

出版物
Theoretical Computer Science