In this rule

Historical Rules · 25 August 2017

Rule 702.4e

Official source text from the 25 August 2017 Rules release

Multiple instances of double strike on the same creature are redundant.

Find this number in the current Rules