Finite spaces: a reduction algorithm for the computation of the small inductive dimension

From MaRDI portal
Publication:520332