Yes, but you can also word it in two other ways that make the redundancy more apparent at the cost of a tiny bit of inaccuracy:

A:

`git reset --hard` checks out the HEAD version of your worktree.

`git checkout -- <file>` checks out the HEAD version of a given file.

B:

`git reset --hard` resets your worktree to the HEAD state.

`git checkout -- <file>` resets a file to the HEAD state.

I don't think a newbie could even grok the difference between these three descriptions.