Topological Properties of Subsets in Real Numbers (2002)

by Konrad Raczkowski, Pawel Sadowski
Venue:JOURNAL OF FORMALIZED MATHEMATICS