On derived projective limits

From MaRDI portal
Publication:1295733