Чтобы найти, сколько детских книг было в библиотеке, нужно общий количестве книг умножить на дробь, обозначающую часть детских книг:
\[ 900 \text{ книг} \times \frac{7}{20} = \frac{900 \times 7}{20} = \frac{6300}{20} = 315 \text{ книг} \]
Ответ: В библиотеке было 315 детских книг.