Covering dimension

Summary