refinement

finer cover in topology

Kategorien: