3 ms·Andreij Bauer is one of those HoTT people, so this is quite tongue-in-cheek.by Ericson2314 5y agoAndreij Bauer is one of those HoTT people, so this is quite tongue-in-cheek.