Совет выше рабочий, но не советую привыкать к нему, так как тебе придется устанавливать библиотеки на сервере, а там нет IDE.

Проще и быстрее через терминал, кнопка внизу (на скрине выше ее видно, справа)

Нажимаешь терминал и просто вводишь pip install pyTelegramBotAPI

Вот тут ты можешь найти все библиотки и как устанавливать https://pypi.org/project/pyTelegramBotAPI/