Topological properties of subsets in real numbers (1990)

by Konrad Raczkowski, Pawe̷l Sadowski
Venue:Formalized Mathematics