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