3 ms·

Can someone explain more about what Voevodsky is being credited with when the obituary says his work "changed the meaning of the equals sign"?