Augmented the compact metric spaces part
Augmented the compact metric spaces part