ParacompactMetacompact

This holds as any locally finite refinement is point finite.

Asserted on page 24 of DOI 10.1007/978-1-4612-6290-9.