Infinite-Dimensional Topology by J. van Mill