In this rule

Historical Rules · 5 October 2018

Rule 702.4e

Official source text from the 5 October 2018 Rules release

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

Find this number in the current Rules