Topological properties of subsets in real numbers (1990)

by Konrad Raczkowski, Paweł Sadowski
Venue:Journal of Formalized Mathematics