Yes it does.
kernel-headers 4.17.2
That copr repo provides every package the fedora team provides related to kernel builds.
Also, you’re not following the best guide. Let me see if I can find a better one for ya.