Но по "Да" сверху я понял, что должно работать без импорта, да и на сайте котлина ничего не написано про то, откуда его доставать.
Нет, конечно, надо импортировать. Примеры на сайте обычно вроде показывают импорты, но не везде, видимо. Я ж говорю, если что — топайте в поиск в документации.