Smallest homotopically trivial non-contractible spaces · wovepaper