kogasa, 10 months ago What are you doing with the HoTT book if you have never heard of Cantor’s theorem??? You must understand there’s a minimum of several years of intensive study in between these two things
What are you doing with the HoTT book if you have never heard of Cantor’s theorem??? You must understand there’s a minimum of several years of intensive study in between these two things