ZxJx
430
reputation
Aiming to have enough background to read and digest Tohoku, HoTT, nCatlab, Milnor, Chern.
Aiming to have enough background to read and digest Tohoku, HoTT, nCatlab, Milnor, Chern.