Paracompact and metrizable spaces. (1991)

by Leszek Borys
Venue:Formalized Mathematics,