No, the swimming pool was in the library for the same reason Eleven was: it fell.
o_O falling swimming pool! I like it! I always assumed the pool had somehow migrated to the library during the crashing, but the idea of it falling is cooool. A time machine in a flux... why shouldn't it fall? (It probably ended up in the ceiling somewhere, just to mess with everyone.)