3 ms·

(2015)

• b215826 3y ago
  Yes, and Voevodsky is no longer alive.