ZxJx
420
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.