In this rule

Historical Rules · 29 September 2017

Rule 702.4a

Official source text from the 29 September 2017 Rules release

Permalink

Double strike is a static ability that modifies the rules for the combat damage step. (See rule 510, “Combat Damage Step.”)

Find this number in the current Rules