refinement

finer cover in topology

Kategorie: