Topological properties of subsets in real numbers. (1990)

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