Description: Given a paracompact topology J and an open cover U , there exists an open refinement ran f that is locally finite, using the same index as the original cover U . (Contributed by Thierry Arnoux, 31-Jan-2020)