Paracompact and metrizable spaces (1991)

by Leszek Borys
Venue:Journal of Formalized Mathematics