Subsets of real numbers (0)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics, Addenda