Originally Posted by
YourMaster
I'd say yes.
I think it's even more important for spells to transfer when selling libraries than it is to transfer them when a library is destroyed. At the moment you cannot move your library when you want to remodel your dungeon because you will always lose spells. Most of the time the library will be at almost full capacity, unless you've build a far to large library or needed some spell really fast. Moving libraries should not incur costs beyond the money lost, just like other rooms.
Spells getting lost when the room gets destroyed may cause the loss of spells, or not, as long as it is consistent. A room getting destroyed is something that could warrant a penalty of losing spells, and could provide an interesting game mechanic.