Lebesgue_covering_dimension loading ...