Is this function for cross product right?

I found this post I made, and it confirms that the answer to the topic of this post is "yes".