In my experience there was not a strong correlation between underlying theoretical mathematical ability and coding. I was teaching mathematics undergraduates and post graduates so almost everyone had reasonable maths skills. However, it was often the case that outstanding coders were poor mathematicians and poor mathematicians were outstanding coders.

In general I think a good coder only needs to know "this is the efficient algorithm" to code it not really to understand fully how the proof of the order of execution time follows.